Cabal revisions of smtlib-backends-process-0.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: smtlib-backends-process-version: 0.3-synopsis: An SMT-LIB backend running solvers as external processes.-description:- This library implements an SMT-LIB backend (in the sense of the- smtlib-backends package) which runs solvers as external processes.--license: MIT-license-file: LICENSE-author: Quentin Aristote-maintainer: quentin.aristote@tweag.io-build-type: Simple-category: SMT-cabal-version: >=1.10-extra-source-files: CHANGELOG.md--source-repository head- type: git- location: https://github.com/tweag/smtlib-backends- subdir: smtlib-backends-process--source-repository this- type: git- location: https://github.com/tweag/smtlib-backends- tag: 0.3- subdir: smtlib-backends-process--library- hs-source-dirs: src- ghc-options: -Wall -Wunused-packages- exposed-modules: SMTLIB.Backends.Process- other-extensions: Safe- build-depends:- base >=4.14 && <4.18- , bytestring >=0.10.12 && <0.12- , process >=1.6 && <1.7- , smtlib-backends >=0.3 && <0.4-- default-language: Haskell2010--test-suite test- type: exitcode-stdio-1.0- hs-source-dirs: tests- main-is: Main.hs- other-modules:- EdgeCases- Examples-- ghc-options: -threaded -Wall -Wunused-packages- build-depends:- async- , base- , bytestring- , process- , smtlib-backends- , smtlib-backends-process- , smtlib-backends-tests- , tasty- , tasty-hunit-- default-language: Haskell2010+name: smtlib-backends-process +version: 0.3 +x-revision: 1 +synopsis: An SMT-LIB backend running solvers as external processes. +description: + This library implements an SMT-LIB backend (in the sense of the + smtlib-backends package) which runs solvers as external processes. + +license: MIT +license-file: LICENSE +author: Quentin Aristote +maintainer: quentin.aristote@tweag.io +build-type: Simple +category: SMT +cabal-version: >=1.10 +extra-source-files: CHANGELOG.md + +source-repository head + type: git + location: https://github.com/tweag/smtlib-backends + subdir: smtlib-backends-process + +source-repository this + type: git + location: https://github.com/tweag/smtlib-backends + tag: 0.3 + subdir: smtlib-backends-process + +library + hs-source-dirs: src + ghc-options: -Wall -Wunused-packages + exposed-modules: SMTLIB.Backends.Process + other-extensions: Safe + build-depends: + base >=4.14 && <4.19 + , bytestring >=0.10.12 && <0.12 + , process >=1.6 && <1.7 + , smtlib-backends >=0.3 && <0.4 + + default-language: Haskell2010 + +test-suite test + type: exitcode-stdio-1.0 + hs-source-dirs: tests + main-is: Main.hs + other-modules: + EdgeCases + Examples + + ghc-options: -threaded -Wall -Wunused-packages + build-depends: + async + , base + , bytestring + , process + , smtlib-backends + , smtlib-backends-process + , smtlib-backends-tests + , tasty + , tasty-hunit + + default-language: Haskell2010
revision 2
name: smtlib-backends-process version: 0.3 -x-revision: 1 +x-revision: 2 synopsis: An SMT-LIB backend running solvers as external processes. description: This library implements an SMT-LIB backend (in the sense of the exposed-modules: SMTLIB.Backends.Process other-extensions: Safe build-depends: - base >=4.14 && <4.19 - , bytestring >=0.10.12 && <0.12 + base >=4.14 && <4.20 + , bytestring >=0.10.12 && <0.13 , process >=1.6 && <1.7 , smtlib-backends >=0.3 && <0.4
revision 3
name: smtlib-backends-process version: 0.3 -x-revision: 2 +x-revision: 3 synopsis: An SMT-LIB backend running solvers as external processes. description: This library implements an SMT-LIB backend (in the sense of the base >=4.14 && <4.20 , bytestring >=0.10.12 && <0.13 , process >=1.6 && <1.7 - , smtlib-backends >=0.3 && <0.4 + , smtlib-backends >=0.3 && <0.5 default-language: Haskell2010
revision 4
name: smtlib-backends-process version: 0.3 -x-revision: 3 +x-revision: 4 synopsis: An SMT-LIB backend running solvers as external processes. description: This library implements an SMT-LIB backend (in the sense of the exposed-modules: SMTLIB.Backends.Process other-extensions: Safe build-depends: - base >=4.14 && <4.20 + base >=4.14 && <4.21 , bytestring >=0.10.12 && <0.13 , process >=1.6 && <1.7 , smtlib-backends >=0.3 && <0.5
revision 5
name: smtlib-backends-process version: 0.3 -x-revision: 4 +x-revision: 5 synopsis: An SMT-LIB backend running solvers as external processes. description: This library implements an SMT-LIB backend (in the sense of the exposed-modules: SMTLIB.Backends.Process other-extensions: Safe build-depends: - base >=4.14 && <4.21 + base >=4.14 && <4.22 , bytestring >=0.10.12 && <0.13 , process >=1.6 && <1.7 , smtlib-backends >=0.3 && <0.5
revision 6
name: smtlib-backends-process version: 0.3 -x-revision: 5 +x-revision: 6 synopsis: An SMT-LIB backend running solvers as external processes. description: This library implements an SMT-LIB backend (in the sense of the exposed-modules: SMTLIB.Backends.Process other-extensions: Safe build-depends: - base >=4.14 && <4.22 + base >=4.14 && <4.23 , bytestring >=0.10.12 && <0.13 , process >=1.6 && <1.7 , smtlib-backends >=0.3 && <0.5