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.
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
authorwenzelm
Fri, 09 Oct 2020 11:44:27 +0200
changeset 72407 5b15a9f854aa
parent 72406 a49be9fc83c3
child 72408 2daa5f549687
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Oct 09 11:28:12 2020 +0200
+++ b/Admin/components/components.sha1	Fri Oct 09 11:44:27 2020 +0200
@@ -68,6 +68,7 @@
 2ebd7e3067a2cdae3cb8b073345827013978d74b  e-2.0-2.tar.gz
 fac44556dd16f666a2c186be30aa6d8c67228bb9  e-2.0-3.tar.gz
 5d36fb62912cfcff7f3b99a6266c578aafc288b7  e-2.0-4.tar.gz
+3223c51c0b16fe00ced4ae903041fff858e61742  e-2.0-5.tar.gz
 6b962a6b4539b7ca4199977973c61a8c98a492e8  e-2.0.tar.gz
 813b66ca151d7a39b5cacb39ab52acabc2a54845  e-2.5.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb  exec_process-1.0.1.tar.gz
--- a/Admin/components/main	Fri Oct 09 11:28:12 2020 +0200
+++ b/Admin/components/main	Fri Oct 09 11:44:27 2020 +0200
@@ -3,7 +3,7 @@
 bib2xhtml-20190409
 csdp-6.1-1
 cvc4-1.5-5
-e-2.0-4
+e-2.0-5
 isabelle_fonts-20190717
 jdk-11.0.5+10
 jedit_build-20200908
isabelle