Hackage :: [Package]

Metadata revisions for MiniAgda-0.2019.3.29

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.2019.3.29-r1) 2019-03-30T12:09:12Z AndreasAbel 1967026a0783b57bc8c9c250d3fe289511fb670018d283b99ddc059bcc2b3fc2

  • Changed the executable 'miniagda' component's library dependency on 'containers' from 

    >=0.3 && <0.6
    to 
    >=0.3 && <0.7
-r0 (MiniAgda-0.2019.3.29-r0) 2019-03-29T13:40:58Z AndreasAbel 8ad56c1b1e0e6a6c825275795e9c649deb4e32aaa19878095fe3c61f116dca2d