Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 80051 9cdc4f533b91
parent 80033 71d005ffa9fe
child 80075 09e9819beef6 
--- a/Admin/components/main	Thu Mar 28 11:45:45 2024 +0100
+++ b/Admin/components/main	Thu Mar 28 12:56:20 2024 +0100
@@ -29,7 +29,7 @@
 polyml-5.9.1
 postgresql-42.7.3
 prismjs-1.29.0
-rsync-3.2.7
+rsync-3.2.7-1
 scala-3.3.3
 smbc-0.4.1
 spass-3.8ds-2
isabelle