Hackage :: [Package]

Metadata revisions for Agda-2.5.1.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 (Agda-2.5.1.1-r1) 2016-09-03T21:42:45Z AndresSicardRamirez 388327fd9b4f98671a05ba6aa873d8161133d71e6234fcdb208882eda9fd161b

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

    ==1.3
    to 
    >=1.3 && <1.4
-r0 (Agda-2.5.1.1-r0) 2016-06-21T14:53:48Z AndresSicardRamirez 4da738097f9ac5105bd42b8199af51cefc10dd6622500e6281f0f29864af69f2