Hackage :: [Package]

Metadata revisions for agda2lagda-0.2023.1.12

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 2023-06-09T15:44:20Z AndreasAbel e13dd80fb4b6ec98191fef306bce8a6948574e4428a65761fc8f302f190e27a3

  • Changed the executable 'agda2lagda' component's library dependency on 'optparse-applicative' from 

    >=0
    to 
    >=0.13 && <0.18
-r0 2023-01-12T14:32:55Z AndreasAbel 05c9bb1df4a3c23214ed4fbd30608da03535142643a51e93e98864d8810b035d