Hackage :: [Package]

Metadata revisions for MiniAgda-0.2022.3.11

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.2022.3.11-r1) 2025-07-23T12:26:10Z AndreasAbel 51033e9514d50aca9cee53c475c8ab5dba8aa07643753c414ccb89b118055d9e

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

    >=0.3 && <0.7
    to 
    >=0.3 && <1

  • Changed the executable 'miniagda' component's tool dependency on 'happy:happy' from 

    >=1.15 && <2
    to 
    >=1.15 && <3
-r0 (MiniAgda-0.2022.3.11-r0) 2022-03-11T16:03:31Z AndreasAbel d6b4f4ba7435bf2d95c403c4bcd2f4e7ded3b2bc5bb08b831d80f80c984d1c30