Hackage :: [Package]

Metadata revisions for agda2lagda-0.2020.11.1

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 (agda2lagda-0.2020.11.1-r1) 2023-06-09T15:44:19Z AndreasAbel dce35352dfdb7087937502f0c891fd6c15e4bc753665fe15fd64354aea8477af

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

    >=0
    to 
    >=0.13 && <0.18
-r0 (agda2lagda-0.2020.11.1-r0) 2020-10-31T23:56:39Z AndreasAbel bf727d4ae545776fffd2be399fab7915b7e3afa6e7ee3e0d51bb5ced322e00d3