| Wed, 12 Oct 2022 14:33:04 +0200 |
wenzelm |
update components.sha1;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2022 16:10:27 +0200 |
wenzelm |
include openssh for rsync (see also a1c7829ac2de);
|
file |
diff |
annotate
|
| Sun, 02 Oct 2022 16:05:34 +0200 |
wenzelm |
provide naproche-20221002;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2022 00:00:05 +0200 |
wenzelm |
inplace update: proper Linux version;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 23:09:00 +0200 |
wenzelm |
provide naproche-20220917;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 21:17:26 +0200 |
wenzelm |
proper platform directory x86_64-linux, to have it purged for other platforms;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 18:10:48 +0200 |
wenzelm |
MLton component for x86_64-linux;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 16:34:45 +0200 |
wenzelm |
update to scala-3.2.0;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 15:45:40 +0200 |
wenzelm |
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 14:25:53 +0200 |
wenzelm |
provide naproche-20220910 (inactive);
|
file |
diff |
annotate
|
| Fri, 09 Sep 2022 21:15:11 +0200 |
wenzelm |
clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2022 11:17:46 +0200 |
wenzelm |
updated to postgresql-42.5.0;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2022 22:51:27 +0200 |
wenzelm |
updated to current Cygwin, near 3.3.5-1;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2022 23:59:47 +0200 |
wenzelm |
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2022 19:26:27 +0200 |
wenzelm |
provide cvc5-1.0.2 (inactive);
|
file |
diff |
annotate
|