# HG changeset patch # User wenzelm # Date 1605804418 -3600 # Node ID 7d4e9f7742c6610fa684fdc59ee531464468fe79 # Parent f8d25850173b7f6d51d64045c8b43b6ad12fcafc updated to polyml-test-7e49fce62e3d --- follow current ongoing development; diff -r f8d25850173b -r 7d4e9f7742c6 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Thu Nov 19 15:11:37 2020 +0100 +++ b/Admin/components/components.sha1 Thu Nov 19 17:46:58 2020 +0100 @@ -271,6 +271,7 @@ b4ceeaac47f3baae41c2491a8368b03217946166 polyml-test-e7a662f8f9c4.tar.gz 609c7d09d3ed01156ff91261e801e2403ff93729 polyml-test-e8d82343b692.tar.gz b6d87466e9b44e8ef4a2fac74c96b139080a506a polyml-test-f54aa41240d0.tar.gz +d365f3fc11c2427cafc62b3c79951880a1476ebb polyml-test-f86ae3dc1686.tar.gz a619177143fea42a464f49bb864665407c07a16c polyml-test-fb4f42af00fa.tar.gz 53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz 3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz diff -r f8d25850173b -r 7d4e9f7742c6 Admin/components/main --- a/Admin/components/main Thu Nov 19 15:11:37 2020 +0100 +++ b/Admin/components/main Thu Nov 19 17:46:58 2020 +0100 @@ -12,7 +12,7 @@ kodkodi-1.5.6 nunchaku-0.5 opam-2.0.7 -polyml-test-7e49fce62e3d +polyml-test-f86ae3dc1686 postgresql-42.2.9 scala-2.12.12 smbc-0.4.1 diff -r f8d25850173b -r 7d4e9f7742c6 Admin/polyml/README --- a/Admin/polyml/README Thu Nov 19 15:11:37 2020 +0100 +++ b/Admin/polyml/README Thu Nov 19 17:46:58 2020 +0100 @@ -3,7 +3,7 @@ This compilation of Poly/ML (http://www.polyml.org) is based on the repository version -https://github.com/polyml/polyml/commit/cf46747fee61 +https://github.com/polyml/polyml/commit/f86ae3dc1686 The Isabelle repository provides an administrative tool "isabelle build_polyml", which can be used in the polyml component directory as @@ -48,4 +48,4 @@ Makarius - 01-Nov-2020 + 19-Nov-2020