Hackage :: [Package]

Metadata revisions for agda2lagda-0.2021.6.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.2021.6.1-r1) 2023-06-09T15:44:19Z AndreasAbel aca25ba5f84f9f752c1f0f058c709c63a2492b54603c424ae29c8b03b2096a61

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

    >=0
    to 
    >=0.13 && <0.18
-r0 (agda2lagda-0.2021.6.1-r0) 2021-06-01T06:39:12Z AndreasAbel 3c2c693da221196b69eaa188e5d99e39a8c9ad624716f04e8186e031cec41ec5