Hackage :: [Package]

Metadata revisions for agda2lagda-0.2023.3.25

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.2023.3.25-r1) 2023-06-09T15:44:20Z AndreasAbel cfd476724be47a40353047bdc63eb9bcd4ccbc4397cbd4612bcfe0d6cbd28f0c

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

    >=0
    to 
    >=0.13 && <0.18
-r0 (agda2lagda-0.2023.3.25-r0) 2023-03-25T18:21:26Z AndreasAbel 0e9a8720d530f4bf00158e08fe2c1e00d0e8e4976b929dc82f9636330ad20c48