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.
include arm64-linux;
authorwenzelm
Mon, 04 Oct 2021 22:03:06 +0200
changeset 74454 d688b40695b4
parent 74453 c2e7526488ed
child 74455 850535cc2ed8
include arm64-linux;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Oct 04 21:33:44 2021 +0200
+++ b/Admin/components/components.sha1	Mon Oct 04 22:03:06 2021 +0200
@@ -82,6 +82,7 @@
 6b962a6b4539b7ca4199977973c61a8c98a492e8  e-2.0.tar.gz
 66449a7b68b7d85a7189e10735a81069356123b6  e-2.5-1.tar.gz
 813b66ca151d7a39b5cacb39ab52acabc2a54845  e-2.5.tar.gz
+6e63f9f354b8c06035952845b987080699a12d55  e-2.6-1.tar.gz
 a3bebab5df4294dac2dd7fd2065a94df00e0b3ff  e-2.6.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb  exec_process-1.0.1.tar.gz
 8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
--- a/Admin/components/main	Mon Oct 04 21:33:44 2021 +0200
+++ b/Admin/components/main	Mon Oct 04 22:03:06 2021 +0200
@@ -4,7 +4,7 @@
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
-e-2.6
+e-2.6-1
 flatlaf-1.6
 idea-icons-20210508
 isabelle_fonts-20211004
isabelle