Hackage :: [Package]

Metadata revisions for MiniAgda-0.2018.11.4

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.4-r1) 2019-03-29T22:58:37Z AndreasAbel bb47e603045bb5f6300965f5ff7e116886a54808a9015f05de4e5b0e0b619b76

  • 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.4-r0) 2018-11-04T09:58:13Z AndreasAbel 5b3838a6712c50d77ec831dd2cbb5f76375f40129e807771fa6b9608d668a0d0