Hackage :: [Package]

Metadata revisions for liquid-fixpoint-0.4.0.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 (liquid-fixpoint-0.4.0.0-r2) 2015-08-12T21:05:48Z EricSeidel 10397e387d91256dcd35cae36cb27ae302418c3c80da6e65d417657783beaf6b

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

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

  • Changed the executable 'fixpoint.native' component's library dependency on 'base' from 

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

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

    >=4.6 && <5
    to 
    >=4.7 && <5
-r1 (liquid-fixpoint-0.4.0.0-r1) 2015-08-12T21:01:21Z EricSeidel 5a73fd2f94c6e37a8ed982f00781d002864363f6f4e04842102140a307cda769

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

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

  • Changed the executable 'fixpoint.native' component's library dependency on 'base' from 

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

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

    >=4.7 && <5
    to 
    >=4.6 && <5
-r0 (liquid-fixpoint-0.4.0.0-r0) 2015-08-12T20:21:26Z EricSeidel 7479a7c69fce6b0c726e67606fff63bc4e16fadd4f8c8edea27873eff2ed8569