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.
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
authorwenzelm
Sat, 14 Oct 2023 20:22:40 +0200
changeset 78776 62b64f168c31
parent 78775 e5b2574f6462
child 78777 3b424f9cd5eb
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Oct 14 20:10:08 2023 +0200
+++ b/Admin/components/components.sha1	Sat Oct 14 20:22:40 2023 +0200
@@ -382,6 +382,7 @@
 0f1c903b043acf7b221821d8b6374b3f943a122b polyml-5.9-610a153b941d.tar.gz
 5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
 7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
+d0327534d5f3014f3faa2a40830a9ce1db953fef polyml-5.9.1.tar.gz
 0c396bd6b46ff11a2432b91aab2be0248bd9b0a4 polyml-5.9.tar.gz
 f399ab9ee4a586fddeb6e73ca3605af65a89f969 polyml-5e9c8155ea96.tar.gz
 2cea4dd48bb8b171bc04c9793a55c7fa4c2d96f1 polyml-a5d5fba90286.tar.gz
--- a/Admin/components/main	Sat Oct 14 20:10:08 2023 +0200
+++ b/Admin/components/main	Sat Oct 14 20:22:40 2023 +0200
@@ -25,7 +25,7 @@
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
-polyml-219e0a248f70
+polyml-5.9.1
 postgresql-42.6.0
 prismjs-1.29.0
 rsync-3.2.7
isabelle