Hackage :: [Package]

Metadata revisions for cryptol-2.5.0

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 (cryptol-2.5.0-r2) 2019-04-14T21:40:35Z HerbertValerioRiedel 62728cbecab45c2966073231479c9c40ce39d6ad193a9d905a2f4d8e281c17f3

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

    >=0.6
    to 
    >=0.6 && <0.10

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

    >=7.0
    to 
    >=7.0 && <7.14
-r1 (cryptol-2.5.0-r1) 2017-09-11T17:19:49Z EricMertens b9ad5bdb227208ad7c2102b0a5e9a1b9b2c947c88970b802203f18df8ba7a77d

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

    >=0
    to 
    <1.19.6
-r0 (cryptol-2.5.0-r0) 2017-07-25T17:48:24Z AaronTomb 307d04086d147f34b16ef0b76211fe028947f98ccb99f4672461b0fddbb2c1e7