# HG changeset patch # User wenzelm # Date 1601565707 -7200 # Node ID 2d36c214f7fd23d22a4c5b227013ad09db662740 # Parent 1e5516c55b46d08b3084372feed7e04f59bcaad5 support arm64-linux Poly/ML (slow bytecode interpreter only); diff -r 1e5516c55b46 -r 2d36c214f7fd Admin/components/components.sha1 --- 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 diff -r 1e5516c55b46 -r 2d36c214f7fd Admin/components/main --- 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