updated polyml component -- omitting bad polyml-5.7.1-3;
authorwenzelm
Sun Feb 11 15:13:40 2018 +0100 (18 months ago)
changeset 67602fefa5148fe76
parent 67600 d515b6140381
child 67603 686679dedb46
updated polyml component -- omitting bad polyml-5.7.1-3;
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Sun Feb 11 15:03:25 2018 +0100
     1.2 +++ b/Admin/components/components.sha1	Sun Feb 11 15:13:40 2018 +0100
     1.3 @@ -160,6 +160,7 @@
     1.4  5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
     1.5  381a70cecf0fdee47f6842e2bdb5107ed52adab6  polyml-5.7.1-1.tar.gz
     1.6  39dac33b569ac66f76126b8f4edc6d9227bd8a63  polyml-5.7.1-2.tar.gz
     1.7 +0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68  polyml-5.7.1-4.tar.gz
     1.8  171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
     1.9  80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
    1.10  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     2.1 --- a/Admin/components/main	Sun Feb 11 15:03:25 2018 +0100
     2.2 +++ b/Admin/components/main	Sun Feb 11 15:13:40 2018 +0100
     2.3 @@ -11,7 +11,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  nunchaku-0.5
     2.7 -polyml-5.7.1-2
     2.8 +polyml-5.7.1-4
     2.9  postgresql-42.1.4
    2.10  scala-2.12.4
    2.11  smbc-0.4.1