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 83339 d4cd9812472b
parent 83338 4bb181ed5dba
child 83340 c9fe49bc3f17 
--- a/Admin/components/main	Wed Oct 22 20:53:24 2025 +0200
+++ b/Admin/components/main	Wed Oct 22 21:02:58 2025 +0200
@@ -21,7 +21,7 @@
 jsoup-1.21.2
 jsvg-2.0.0
 kodkodi-1.5.7
-lipics-3.1.3
+lipics-3.1.3-1
 llncs-2.25
 minisat-2.2.1-2
 mlton-20241230-1
isabelle