Hackage :: [Package]

Metadata revisions for Agda-2.7.0.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
-r2 (Agda-2.7.0.1-r2) 2024-10-27T15:44:00Z AndreasAbel 37d363f323c1229f9ae16b4e0b2120d713b793a012847158fe6df736ec7736ec

  • Changed the library component's tool dependency on 'happy:happy' from 

    >=1.19.8 && <2.1.1
    to 
    >=1.19.8 && <2.1.1 || >=2.1.2 && <3
-r1 (Agda-2.7.0.1-r1) 2024-10-26T09:39:15Z AndreasAbel e04cc333b2efa9a2680df7b54f3abc69be82017278e1d60b674c304e8eb003c7

  • Changed the library component's tool dependency on 'alex:alex' from 

    >=3.2.3
    to 
    >=3.2.3 && <4

  • Changed the library component's tool dependency on 'happy:happy' from 

    >=1.19.8
    to 
    >=1.19.8 && <2.1.1
-r0 (Agda-2.7.0.1-r0) 2024-09-12T18:40:16Z AndreasAbel de2cd86b8bc48a4db277f14bb39c63ffc95ea6b79ff2aa266eccf52b2045e909