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.
removed junk;
authorwenzelm
Mon, 17 Oct 2022 23:30:31 +0200
changeset 76331 bc4f902d2b0d
parent 76330 0749f4d4b5be
child 76332 8b4108f41c77
removed junk;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Oct 17 22:39:44 2022 +0200
+++ b/Admin/components/components.sha1	Mon Oct 17 23:30:31 2022 +0200
@@ -426,6 +426,7 @@
 5659440f6b86db29f0c9c0de7249b7e24a647126 scala-2.9.2.tar.gz
 97c5b73011f4d6438b616e5940e6d759034f5414 scala-3.1.3.tar.gz
 87c8e53100df4bc85cd8d4f55028088646d70fb4 scala-3.2.0-1.tar.gz
+9debcbbd0335d6802fb1625764c9f8824a3279a3 scala-3.2.0-2.tar.gz
 7677b02fe06c992ca6cf82bf68adb16287294256 scala-3.2.0.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
 cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
--- a/Admin/components/main	Mon Oct 17 22:39:44 2022 +0200
+++ b/Admin/components/main	Mon Oct 17 23:30:31 2022 +0200
@@ -22,7 +22,7 @@
 pdfjs-2.14.305
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
-scala-3.2.0-1
+scala-3.2.0-2
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
isabelle