Metadata revisions for MiniAgda-0.2017.2.18

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.2017.2.18-r1) 2018-02-01T11:51:51Z HerbertValerioRiedel 16acde94a0f8ed303aeb873ba2ee6bd3b9e18dae0b2edc8f7dd5250656689a58
  • Changed the executable 'miniagda' component's library dependency on 'base' from

    >=4.6 && <5
    to
    >=4.6 && <4.11

-r0 (MiniAgda-0.2017.2.18-r0) 2017-02-18T20:36:25Z AndreasAbel 1608083ae4af7472717fc71da6f1e6464c22ade385b1e80d09ad6a275f3f67cb