Update from Hackage at 2018-09-15T23:03:39Z

boolector/0.0.0.7/boolector.cabal

@@ -0,0 +1,117 @@
+name:                boolector
+version:             0.0.0.7
+synopsis:            Haskell bindings for the Boolector SMT solver
+description:
+
+    This library provides a high-level, monadic DSL for writing symbolic
+    computations atop the Boolector SMT solver (<https://github.com/Boolector/boolector>).
+    .
+    The API and its description is defined in the "Boolector" module.
+    .
+    Several examples can be found at: <https://github.com/PLSysSec/haskell-boolector/tree/master/test>
+
+license:             MIT
+license-file:        LICENSE
+author:              Dein Stefan, Johannes Waldmann, Armin Biere
+maintainer:          Deian Stefan <deian@cs.ucsd.edu>
+category:            Math, SMT, Theorem Provers, Formal Methods, Bit vectors
+build-type:          Simple
+cabal-version:       >= 1.10
+homepage:       https://github.com/plsyssec/haskell-boolector
+bug-reports:    https://github.com/plsyssec/haskell-boolector/issues
+
+source-repository head
+  type:     git
+  location: https://github.com/PLSysSec/haskell-boolector.git
+
+library
+  hs-source-dirs: src
+  default-language: Haskell2010
+  exposed-modules:
+      Boolector
+      Boolector.Foreign
+  build-depends:
+        base >= 4.7 && < 5,
+        containers,
+        mtl,
+        temporary,
+        directory
+
+  ghc-options: -Wall -fno-warn-orphans
+  build-tools:      c2hs
+
+  extra-libraries:  boolector
+  includes:         boolector.h
+
+Test-Suite API_Usage_Example
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: API_Usage_Example.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+Test-Suite Array_Example
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: Array_Example.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+Test-Suite UF_Example
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: UF_Example.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+Test-Suite Arith_Example
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: Arith_Example.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+Test-Suite Arith_Example2
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: Arith_Example2.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+Test-Suite Arith_Example3
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: Arith_Example3.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+
+Test-Suite GetSetSymbol_Example
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: GetSetSymbol_Example.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test
+
+Test-Suite UF_Example2
+  default-language: Haskell2010
+  Build-Depends: base >= 4.7 && < 5
+               , boolector
+  Type: exitcode-stdio-1.0
+  main-is: UF_Example2.hs
+  extra-libraries:  boolector
+  hs-source-dirs: test

boolector/0.0.0.7/boolector.json

@@ -0,0 +1 @@
+{"package-hashes":{"MD5":"36f319a58c12319bb8f420c79da274a8","Skein512_512":"47d3137ece4cfac4064a7b6c426fda0fe03676392ba986ac777ef8542dfb8f9a450f5fbbd21849535f284a11b5b3a4bbd3f20bba74c2e7dbe4874232ccad63f1","SHA1":"f6404cc2eb29ada7a77b32493027166bb59aeb2a","SHA512":"588ed1bc8a05e8d4ca7a3454ecbe4bb9f8793848d5d039f8714c059d8424631f0dbd183a4333052d6a6717fd994308532aa987d5f36deff928a5ab2f4e5593b4","SHA256":"eb86a968dff57c78a130f5f5053cb4d1672e31101949052e41ec8091d74968d5"},"package-locations":["https://hackage.haskell.org/package/boolector-0.0.0.7/boolector-0.0.0.7.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/boolector-0.0.0.7.tar.gz"],"package-size":20382}