Hackage :: [Package]

Metadata revisions for liquidhaskell-0.8.10.1

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 (liquidhaskell-0.8.10.1-r2) 2020-09-18T13:00:36Z AndresLoeh ee74a1f715de67d649804fcfe0478e87b7940a84c43cda1bdbd0c235f701fd2a

  • Changed the library component's library dependency on 'liquid-fixpoint' from 

    >=0.8.10.1
    to 
    >=0.8.10.1 && <0.8.10.2.1

  • Changed the test suite 'liquidhaskell-parser' component's library dependency on 'liquid-fixpoint' from 

    >=0.8.10.1
    to 
    >=0.8.10.1 && <0.8.10.2.1

  • Changed the test suite 'synthesis' component's library dependency on 'liquid-fixpoint' from 

    >=0.8.10.1
    to 
    >=0.8.10.1 && <0.8.10.2.1
-r1 (liquidhaskell-0.8.10.1-r1) 2020-07-29T07:16:59Z AlfredoDiNapoli 4d71d01c8d7b42ffd6b7a6a926dd0b2893105a8d91f1576394a490c28031e92d

  • Changed the library component's library dependency on 'liquid-fixpoint' from 

    >=0.8.0.0
    to 
    >=0.8.10.1

  • Changed the test suite 'liquidhaskell-parser' component's library dependency on 'liquid-fixpoint' from 

    >=0.8.0.0
    to 
    >=0.8.10.1

  • Changed the test suite 'synthesis' component's library dependency on 'liquid-fixpoint' from 

    >=0.8.0.0
    to 
    >=0.8.10.1
-r0 (liquidhaskell-0.8.10.1-r0) 2020-07-29T06:31:25Z AlfredoDiNapoli 06d07f6d3d77082bee3cca92553d88a528bd0d750d88a1577c47d1bc16ff5091