# HG changeset patch # User wenzelm # Date 1633377786 -7200 # Node ID d688b40695b4ba3f7bb52b265d331bc7719f2c17 # Parent c2e7526488ed384b5d024a17b17c99ae26ffc4c1 include arm64-linux; diff -r c2e7526488ed -r d688b40695b4 Admin/components/components.sha1 --- 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 diff -r c2e7526488ed -r d688b40695b4 Admin/components/main --- 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