Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
support arm64-linux Poly/ML (slow bytecode interpreter only);
authorwenzelm
Thu, 01 Oct 2020 17:21:47 +0200
changeset 72354 2d36c214f7fd
parent 72353 1e5516c55b46
child 72355 1f959abe99d5
support arm64-linux Poly/ML (slow bytecode interpreter only);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Oct 01 17:21:12 2020 +0200
+++ b/Admin/components/components.sha1	Thu Oct 01 17:21:47 2020 +0200
@@ -251,6 +251,7 @@
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 7df4857d73dbc9edda25a6ad329e47639e70fadf  polyml-test-8fda4fd22441.tar.gz
 2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
+3dfdc58e5d9b28f038a725e05c9c2f2ce0bb2632  polyml-test-a3cfdf648da-1.tar.gz
 33568f69ce813b7405386ddbefa14ad0342bb8f0  polyml-test-a3cfdf648da.tar.gz
 4bedaac4f1fb9a9199aa63695735063c47059003  polyml-test-a444f281ccec.tar.gz
 f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
--- a/Admin/components/main	Thu Oct 01 17:21:12 2020 +0200
+++ b/Admin/components/main	Thu Oct 01 17:21:47 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.6
 nunchaku-0.5
 opam-2.0.6
-polyml-test-a3cfdf648da
+polyml-test-a3cfdf648da-1
 postgresql-42.2.9
 scala-2.12.12
 smbc-0.4.1
isabelle