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 x86_64-linux on Ubuntu 14.04.6 LTS;
authorwenzelm
Wed, 04 Mar 2020 15:38:02 +0100
changeset 71516 a57413dd2909
parent 71515 ce1222e9451e
child 71517 7807d828a061
rebuild x86_64-linux on Ubuntu 14.04.6 LTS; rebuild x86_64-cygwin on cygwin-20200116;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Mar 03 20:14:48 2020 +0100
+++ b/Admin/components/components.sha1	Wed Mar 04 15:38:02 2020 +0100
@@ -63,6 +63,7 @@
 c11b25c919e2ec44fe2b6ac2086337b456344e97  e-1.8.tar.gz
 a895a96ec7e6fcc275114bb9b4c92b20fac73dba  e-2.0-1.tar.gz
 2ebd7e3067a2cdae3cb8b073345827013978d74b  e-2.0-2.tar.gz
+fac44556dd16f666a2c186be30aa6d8c67228bb9  e-2.0-3.tar.gz
 6b962a6b4539b7ca4199977973c61a8c98a492e8  e-2.0.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb  exec_process-1.0.1.tar.gz
 8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
--- a/Admin/components/main	Tue Mar 03 20:14:48 2020 +0100
+++ b/Admin/components/main	Wed Mar 04 15:38:02 2020 +0100
@@ -3,7 +3,7 @@
 bib2xhtml-20190409
 csdp-6.1-1
 cvc4-1.5-5
-e-2.0-2
+e-2.0-3
 isabelle_fonts-20190717
 jdk-11.0.6+10
 jedit_build-20190717
isabelle