Hackage :: [Package]

Metadata revisions for Agda-2.4.2.4

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.4-r1) 2016-12-01T18:02:34Z HerbertValerioRiedel ae15a4947de5f331cb57154319b3ba596c2f041738c344ab9219f0f05938390f

  • Changed the library component's library dependency on 'unordered-containers' from 

    >=0.2.5.0 && <0.3
    to 
    >=0.2.5.0 && <0.2.6
-r0 (Agda-2.4.2.4-r0) 2015-09-26T13:44:54Z AndresSicardRamirez 8252968834f6ac6877ee6933b4048b8381488ec490bc3149b18b9a6219450298