Hackage :: [Package]

Metadata revisions for Agda-2.6.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
-r2 (Agda-2.6.2.2-r2) 2022-08-15T12:42:05Z AndreasAbel b69c2f317db2886cb387134af00a3e42a06fab6422686938797924d034255a55

  • Changed tested-with from 

    ghc ==8.0.2: ghc ==8.2.2: ghc ==8.4.4: ghc ==8.6.5: ghc ==8.8.4: ghc ==8.10.7: ghc ==9.0.1: ghc ==9.0.2: ghc ==9.2.1: ghc ==9.2.2
    to 
    ghc ==8.0.2: ghc ==8.2.2: ghc ==8.4.4: ghc ==8.6.5: ghc ==8.8.4: ghc ==8.10.7: ghc ==9.0.2: ghc ==9.2.4: ghc ==9.4.1

  • Changed the 'custom-setup' dependency on 'Cabal' from 

    >=1.24.0.0 && <3.7
    to 
    >=1.24.0.0 && <3.9

  • Changed the 'custom-setup' dependency on 'base' from 

    >=4.9.0.0 && <4.17
    to 
    >=4.9.0.0 && <4.18

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

    >=4.9.0.0 && <4.17
    to 
    >=4.9.0.0 && <4.18

  • Changed the library component's library dependency on 'template-haskell' from 

    >=2.11.0.0 && <2.19
    to 
    >=2.11.0.0 && <2.20

  • Changed the executable 'agda-mode' component's library dependency on 'base' from 

    >=4.9.0.0 && <4.17
    to 
    >=4.9.0.0 && <4.18
-r1 (Agda-2.6.2.2-r1) 2022-06-16T13:21:27Z AndreasAbel e2df02e659429d95a893fa3e286ef7822335f0cd9255cd3fa918c8ccb2d70d2a

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

    >=1.1.2.0 && <2.1
    to 
    >=1.1.2.0 && <2.2
-r0 (Agda-2.6.2.2-r0) 2022-04-02T18:00:16Z AndreasAbel 514d243debbf0add285bb2610724122a10c6aa11198167024f86f73b48e9458c