Hackage :: [Package]

Metadata revisions for MiniAgda-0.2018.11.6

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r1 (MiniAgda-0.2018.11.6-r1) 2019-03-29T22:57:46Z AndreasAbel cf0cb9a777e513af795ef420e7b139c80a97320899219fe79761babe1ea4183e

  • Changed the executable 'miniagda' component's library dependency on 'haskell-src-exts' from 

    >=1.20 && <2.0
    to 
    >=1.20 && <1.21
-r0 (MiniAgda-0.2018.11.6-r0) 2018-11-06T08:12:32Z AndreasAbel 681d7e992272dfcae6b51dba3d4afaa62fc94d172c48ef309f4d2895dc9e32ef