Hackage :: [Package]

Metadata revisions for Agda-2.4.2.2

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 (Agda-2.4.2.2-r1) 2015-04-02T21:50:27Z AndresSicardRamirez b604adb3c6609d27384834ce1d9483841245ac3d59e07571bc1ec114a080dcf3

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

    >=1.0 && <1.2
    to 
    >=1.0 && <1.2 || >=1.2.0.2 && <1.3
-r0 (Agda-2.4.2.2-r0) 2014-11-26T14:04:45Z AndresSicardRamirez a1c82625511dfc014db81a5e43023fb017134b86222aeb0adfb2fea574069ce7