Hackage :: [Package]

Metadata revisions for ivory-examples-0.1.0.4

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 (ivory-examples-0.1.0.4-r2) 2016-10-29T02:55:26Z LeePike 7b0f9b186a1356c9210ecfe4ae198b1fa3056f1c78188126b83fbd39c09e253f

  • Changed source-repository from 

    source-repository this
    type:     git
    location: https://github.com/GaloisInc/ivory
    tag:      hackage-0.1.0.4
    to 
    source-repository this
    type:     git
    location: https://github.com/GaloisInc/ivory
    tag:      hackage-examples-0.1.0.4

  • Changed the executable 'ivory-c-clang-test' component's library dependency on 'base' from 

    >=4.6 && <5
    to 
    >=4.7 && <5

  • Changed the executable 'ivory-c-clang-test' component's library dependency on 'template-haskell' from 

    >=2.8
    to 
    >=2.8 && <2.11
-r1 (ivory-examples-0.1.0.4-r1) 2016-10-29T02:49:19Z LeePike 23344ab6baeab9fb7c4e38b0e173e68c8c502817791cb8dc68938c1247090c55

  • Changed source-repository from 

    source-repository this
    type:     git
    location: https://github.com/GaloisInc/ivory
    tag:      hackage-examples-0.1.0.4
    to 
    source-repository this
    type:     git
    location: https://github.com/GaloisInc/ivory
    tag:      hackage-0.1.0.4

-r0 (ivory-examples-0.1.0.4-r0) 2016-10-29T02:46:07Z LeePike 25c0be091a0422be8ea0565c3ee5e0b91ead91659aa84c6c5443018060b32e82