Hackage :: [Package]

Metadata revisions for cryptol-2.8.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
-r1 (cryptol-2.8.0-r1) 2022-09-24T20:02:58Z Bodigrim 03bd1dabeaca2b101ba1ccfb97e02ce8e769e8f91ca591e36b6210ce66a9c3d8

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

    >=4.8 && <5
    to 
    >=4.8 && <4.13

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

    >=8.1
    to 
    >=8.1 && <8.8
-r0 (cryptol-2.8.0-r0) 2019-09-04T19:43:22Z AaronTomb 2a9946c656d264e9780ad0296e86b08c0750e9c765f990e8dc99437c3f578071