Admin/components/components.sha1
Mon, 30 Nov 2020 17:00:35 +0100 wenzelm updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
Mon, 30 Nov 2020 16:34:03 +0100 wenzelm updated to postgresql-42.2.18;
Mon, 30 Nov 2020 16:22:42 +0100 wenzelm updated to jfreechart-1.5.1;
Mon, 30 Nov 2020 15:51:29 +0100 wenzelm updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
Sun, 22 Nov 2020 13:11:40 +0100 wenzelm updated to cvc4-1.8;
Thu, 19 Nov 2020 17:46:58 +0100 wenzelm updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Fri, 06 Nov 2020 13:43:49 +0100 wenzelm updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
Sun, 01 Nov 2020 14:04:52 +0100 wenzelm updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;
Mon, 26 Oct 2020 21:02:51 +0100 wenzelm updated to jdk-11.0.9+11;
Thu, 15 Oct 2020 13:24:16 +0200 wenzelm proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;
Wed, 14 Oct 2020 22:30:18 +0200 wenzelm provide verit-2020.10-rmx for testing (inactive);
Wed, 14 Oct 2020 21:36:17 +0200 wenzelm updated to polyml-test-d68c6736402e --- follow current ongoing development;
Mon, 12 Oct 2020 17:40:00 +0200 wenzelm activate E 2.5 for production use (see also 5d1a7b688f6d);
Sat, 10 Oct 2020 14:59:43 +0200 wenzelm updated to csdp-6.1.1, with support for arm64-linux;
Fri, 09 Oct 2020 21:40:07 +0200 wenzelm component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
Fri, 09 Oct 2020 13:41:06 +0200 wenzelm rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Fri, 09 Oct 2020 11:44:27 +0200 wenzelm rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
Sat, 03 Oct 2020 21:54:53 +0200 wenzelm clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
Sat, 03 Oct 2020 15:11:30 +0200 wenzelm build component according to "isabelle build_e -V 2.5" (inactive);
Sat, 03 Oct 2020 14:32:25 +0200 wenzelm updated component according to "isabelle build_e -V 2.0";
Fri, 02 Oct 2020 16:23:51 +0200 wenzelm updated to current cygwin-20201002, after 3.1.7-1 from 24-Aug-2020;
Fri, 02 Oct 2020 13:08:38 +0200 wenzelm updated to opam-2.0.7;
Thu, 01 Oct 2020 17:21:47 +0200 wenzelm support arm64-linux Poly/ML (slow bytecode interpreter only);
Wed, 30 Sep 2020 22:59:33 +0200 wenzelm updated to sqlite-jdbc-3.32.3.2;
Wed, 30 Sep 2020 13:40:42 +0000 wenzelm support arm64-linux;
Tue, 08 Sep 2020 21:14:42 +0200 wenzelm update to official jedit-5.6.0;
Tue, 25 Aug 2020 23:21:38 +0200 wenzelm updated to scala-2.12.12;
Tue, 25 Aug 2020 22:56:34 +0200 wenzelm updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
Tue, 25 Aug 2020 14:55:33 +0200 wenzelm updated to kodkodi-1.5.6: more robust treatment of interrupt;
Mon, 24 Aug 2020 21:47:21 +0200 wenzelm more explicit treatment of interrupt;
Thu, 20 Aug 2020 15:45:22 +0200 wenzelm update to kodkodi-1.5.4-1;
Wed, 19 Aug 2020 13:29:53 +0200 wenzelm update to kodkodi-1.5.4;
Tue, 18 Aug 2020 17:58:35 +0200 wenzelm updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
Tue, 11 Aug 2020 19:01:31 +0200 wenzelm updated to polyml-test-f54aa41240d0;
Tue, 11 Aug 2020 13:15:58 +0200 wenzelm updated to polyml-test-159dc81efc3b;
Tue, 21 Jul 2020 12:37:00 +0200 wenzelm updated to polyml-5.8.1 (official release);
Wed, 08 Jul 2020 16:35:23 +0200 wenzelm updated to polyml-5.8.1-20200708: recent repository version for testing;
Wed, 10 Jun 2020 19:59:12 +0200 wenzelm updated to jedit-5.6pre1 (repository version 25349);
Thu, 02 Apr 2020 13:04:24 +0200 wenzelm merged
Mon, 23 Mar 2020 12:29:40 +0100 wenzelm updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
Mon, 23 Mar 2020 16:11:41 +0100 wenzelm updated to scala-2.12.11;
Sun, 22 Mar 2020 22:03:48 +0100 wenzelm avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
Wed, 04 Mar 2020 15:38:02 +0100 wenzelm rebuild x86_64-linux on Ubuntu 14.04.6 LTS;
Fri, 28 Feb 2020 21:34:04 +0100 wenzelm updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
Thu, 16 Jan 2020 17:04:42 +0100 wenzelm proper executable file;
Thu, 16 Jan 2020 16:15:25 +0100 wenzelm updated to sumatra_pdf-3.1.2-1: x86_64-windows;
Thu, 16 Jan 2020 15:34:55 +0100 wenzelm updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
Thu, 16 Jan 2020 15:10:16 +0100 wenzelm updated to opam-2.0.6;
Thu, 16 Jan 2020 14:07:28 +0100 wenzelm updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Wed, 15 Jan 2020 20:11:28 +0100 wenzelm updated to jdk-11.0.6+10;
Sun, 12 Jan 2020 22:54:42 +0100 wenzelm updated to sqlite-jdbc-3.30.1;
Sun, 12 Jan 2020 22:21:40 +0100 wenzelm updated to postgresql-42.2.9;
Fri, 10 Jan 2020 16:37:47 +0100 wenzelm clarified script name;
Mon, 23 Dec 2019 22:08:20 +0100 wenzelm repackage as csdp-6.1-1, with proper platform names;
Mon, 23 Dec 2019 19:07:25 +0100 wenzelm updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina);
Mon, 23 Dec 2019 15:24:14 +0100 wenzelm updated linux_app-20191223: x86_64-linux;
Sun, 24 Nov 2019 22:54:42 +0100 wenzelm updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
Thu, 14 Nov 2019 11:49:54 +0100 wenzelm updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
Wed, 13 Nov 2019 20:21:05 +0100 wenzelm updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
Fri, 01 Nov 2019 19:40:55 +0100 wenzelm updated to polyml-5.8.1-20191101 test version;
less more (0) -300 -100 -60 tip