Hackage :: [Package]

Metadata revisions for cryptol-2.3.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.3.0-r1) 2017-01-31T17:02:31Z phadej 516be68c14a635cf6e1b9caea80ea23438586c4651e7b10e71429a08dfc0eb0b

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

    >=5.7
    to 
    >=5.7 && <5.15
-r0 (cryptol-2.3.0-r0) 2016-01-20T02:05:58Z AdamFoltzer b00f33994a1b640c87150d66af062eafe79fb1b40e3d1627dff400fd0821488f