Hackage :: [Package]

Metadata revisions for Agda-2.4.2.3

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
-r2 (Agda-2.4.2.3-r2) 2015-08-10T15:46:41Z AndresSicardRamirez b5ad21731b7a6ce714d403a5edb0b53951fe61926d47f7a21e29548602c0d763

  • Changed the library component's library dependency on 'zlib' from 

    >=0.4.0.1 && <0.7
    to 
    >=0.4.0.1 && <0.6.1
-r1 (Agda-2.4.2.3-r1) 2015-08-02T04:42:00Z AndresSicardRamirez 25fe17a2302a30f23a57bedf6bc66a8966f4d5f6b10353e2502e18ba98f80eeb

  • Changed the library component's library dependency on 'data-hash' from 

    ==0.2.0.0
    to 
    >=0.2.0.0 && <0.3

  • Changed the library component's library dependency on 'geniplate-mirror' from 

    >=0.6.0.6 && <0.7
    to 
    >=0.6.0.6 && <0.8
-r0 (Agda-2.4.2.3-r0) 2015-05-25T16:37:30Z AndresSicardRamirez 6e20a358630f8248d83b32e878f5a971cacb30ebe13f806789a9cf3b6c43eb5b