Hackage :: [Package]

Metadata revisions for hz3-96.0.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 (hz3-96.0.0.0-r3) 2020-03-13T20:44:49Z MatthewFarkasDyck e043f47eae446b0fcdcd1de1db460245914aacee2c104b753bfa22707217a636

  • Changed maintainer from 

    M Farkas-Dyck <strake888@gmail.com>
    to 
    None
-r2 (hz3-96.0.0.0-r2) 2020-02-11T07:53:19Z MatthewFarkasDyck dfa1eab31a49181e4b2e8b502d093bfb9cd2b13a81d3492a0e74936f3cbb010b

  • Changed source-repository from 

    source-repository head
    type:     git
    location: git@github.com:IagoAbal/haskell-z3.git
    to 
    source-repository head
    type:     git
    location: https://github.com/strake/z3.hs

  • Removed source-repository 

    source-repository head
    type:     git
    location: https://github.com/strake/z3.hs

-r1 (hz3-96.0.0.0-r1) 2020-02-11T07:52:32Z MatthewFarkasDyck 688ca22fd0218566200fcf022e7be6ffee4141c2f8a18876ce4a0027bcbfd3fc

  • Changed maintainer from 

    Iago Abal <mail@iagoabal.eu>
    to 
    M Farkas-Dyck <strake888@gmail.com>

  • Changed homepage from 

    https://github.com/IagoAbal/haskell-z3
    to 
    https://github.com/strake/z3.hs

  • Changed bug-reports from 

    https://github.com/IagoAbal/haskell-z3/issues
    to 
    https://github.com/strake/z3.hs

  • Added source-repository 

    source-repository head
    type:     git
    location: https://github.com/strake/z3.hs

  • Changed description from 

    Bindings for the Z3 4./x/ Theorem Prover (<https://github.com/Z3Prover/z3>).

* "Z3.Base.C" provides the raw foreign imports from Z3's C API.

* "Z3.Base" does the marshaling of values between Haskell and C,
and transparently handles reference counting of Z3 objects for you.

* "Z3.Monad" provides a convenient monadic wrapper for the common usage scenario.

Examples: <https://github.com/IagoAbal/haskell-z3/tree/master/examples>

Changelog: <https://github.com/IagoAbal/haskell-z3/blob/master/CHANGES.md>

Installation:

* /Unix-like/: Just be sure to use the standard locations for
dynamic libraries (\/usr\/lib) and header files (\/usr\/include),
or else use the --extra-lib-dirs and --extra-include-dirs Cabal flags.

(Hackage reports a build failure because Z3's library is missing.)
    to 
    Fork of <https://hackage.haskell.org/package/z3 z3> with future-proof version-numbering scheme

Bindings for the Z3 4./x/ Theorem Prover (<https://github.com/Z3Prover/z3>).

* "Z3.Base.C" provides the raw foreign imports from Z3's C API.

* "Z3.Base" does the marshaling of values between Haskell and C,
and transparently handles reference counting of Z3 objects for you.

* "Z3.Monad" provides a convenient monadic wrapper for the common usage scenario.

Examples: <https://github.com/strake/z3.hs/tree/master/examples>

Changelog: <https://github.com/strake/z3.hs/blob/master/CHANGES.md>

Installation:

* /Unix-like/: Just be sure to use the standard locations for
dynamic libraries (\/usr\/lib) and header files (\/usr\/include),
or else use the --extra-lib-dirs and --extra-include-dirs Cabal flags.

(Hackage reports a build failure because Z3's library is missing.)
-r0 (hz3-96.0.0.0-r0) 2019-10-01T01:07:27Z MatthewFarkasDyck 5a14176c86248206ccf9f40ea1b4c348dba85676b9dc800349dbf406393ccacb