Hackage :: [Package]

Metadata revisions for proof-combinators-0.1.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
-r3 (proof-combinators-0.1.0.0-r3) 2024-12-01T19:40:47Z FacundoDominguez ed689bff00e1bc2fbf1312dc7fc1f28d134018de7c073288efae0688655054f7

  • Changed description from 

    Do not use this package! It is deprecated in favor of [liquid-prelude](https://hackage.haskell.org/package/liquid-prelude).

It provides proof Combinators used in Liquid Haskell for Theorem Proving
    to 
    Provides proof Combinators used in Liquid Haskell for Theorem Proving
-r2 (proof-combinators-0.1.0.0-r2) 2024-12-01T19:39:43Z FacundoDominguez df61b44f89d5336a0ce320ca27e73651a286c6e869f4b66a5315e755cf19b7d0

  • Changed synopsis from 

    Proof Combinators used in Liquid Haskell for Theorem Proving
    to 
    DEPRECATED

  • Changed description from 

    Do not use this package! It is deprecated in favor of [liquid-prelude](https://hackage.haskell.org/package/liquid-prelude)
    to 
    Do not use this package! It is deprecated in favor of [liquid-prelude](https://hackage.haskell.org/package/liquid-prelude).

It provides proof Combinators used in Liquid Haskell for Theorem Proving
-r1 (proof-combinators-0.1.0.0-r1) 2024-12-01T19:36:34Z FacundoDominguez 68dbeb9440cb55240b2ab4601ad3507f8feb84affd4503e6e02de53f936f9f95

  • Changed description 

    Do not use this package! It is deprecated in favor of [liquid-prelude](https://hackage.haskell.org/package/liquid-prelude)
-r0 (proof-combinators-0.1.0.0-r0) 2018-03-28T14:48:38Z nikivazou 459ce675b7579bf5d1aabf8853cd5dad8e64728e29387db4e8c646cfe2e3d0da