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.
proper platform directory x86_64-linux, to have it purged for other platforms;
authorwenzelm
Sat, 17 Sep 2022 21:17:26 +0200
changeset 76186 5f3983c42324
parent 76185 6259a90da890
child 76187 1a31d1551eb3
proper platform directory x86_64-linux, to have it purged for other platforms; tuned README;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Sep 17 18:10:48 2022 +0200
+++ b/Admin/components/components.sha1	Sat Sep 17 21:17:26 2022 +0200
@@ -282,6 +282,7 @@
 3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
 5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
 ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
+59aa13f48685326995714cc6028aebb789e445e3 mlton-20210117-1.tar.gz
 5d48b7163a68c18b691bedc1511364b0b103baeb mlton-20210117.tar.gz
 eda10c62da927a842c0a8881f726eac85e1cb4f7 naproche-20210122.tar.gz
 edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
--- a/Admin/components/main	Sat Sep 17 18:10:48 2022 +0200
+++ b/Admin/components/main	Sat Sep 17 21:17:26 2022 +0200
@@ -16,7 +16,7 @@
 jortho-1.0-2
 kodkodi-1.5.7
 minisat-2.2.1-1
-mlton-20210117
+mlton-20210117-1
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
isabelle