[package-plan] 01/02: Adding Hsmtlib.
Kristoffer Rose
krisrose at moszumanska.debian.org
Fri Aug 14 13:51:30 UTC 2015
This is an automated email from the git hooks/post-receive script.
krisrose pushed a commit to branch master
in repository package-plan.
commit 85b0ecca1e03beef14436ede444fe23492a067fc
Author: Kristoffer Rose <krisrose at debian.org>
Date: Fri Aug 14 15:50:26 2015 +0200
Adding Hsmtlib.
---
additional-cabals/Hsmtlib-0.2.0.6.cabal | 76 +++++++++++++++++++++++++++++++++
packages.txt | 2 +
patches/Hsmtlib/0.2.0.6/allow-base | 13 ++++++
patches/Hsmtlib/0.2.0.6/series | 1 +
4 files changed, 92 insertions(+)
diff --git a/additional-cabals/Hsmtlib-0.2.0.6.cabal b/additional-cabals/Hsmtlib-0.2.0.6.cabal
new file mode 100644
index 0000000..78cbaa1
--- /dev/null
+++ b/additional-cabals/Hsmtlib-0.2.0.6.cabal
@@ -0,0 +1,76 @@
+-- Initial Hsmtlib.cabal generated by cabal init. For further
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+-- The name of the package.
+name: Hsmtlib
+
+-- The package version. See the Haskell package versioning policy (PVP)
+-- for standards guiding when and how versions should be incremented.
+-- http://www.haskell.org/haskellwiki/Package_versioning_policy
+-- PVP summary: +-+------- breaking API changes
+-- | | +----- non-breaking API additions
+-- | | | +--- code changes with no API change
+version: 0.2.0.6
+
+-- A short (one-line) description of the package.
+synopsis: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
+
+-- A longer description of the package.
+description:
+ Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.
+
+ The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3.
+ Additional solvers can be used if they are SMT-LIB 2 compliant.
+
+ More information and tutorials can be found in <https://github.com/MfesGA/Hsmtlib>
+
+-- URL for the project homepage or repository.
+homepage: https://github.com/MfesGA/Hsmtlib
+
+-- The license under which the package is released.
+license: BSD3
+
+-- The file containing the license text.
+license-file: LICENSE
+
+-- The package author(s).
+author: Nuno Laranjo and Rogerio Pontes
+
+-- An email address to which users can send suggestions, bug reports, and
+-- patches.
+maintainer: numicola at gmail.com and rogeriop062 at gmail.com
+
+-- A copyright notice.
+-- copyright:
+
+category: SMT
+
+build-type: Simple
+
+-- Extra files to be distributed with the package, such as examples or a
+-- README.
+-- extra-source-files:
+
+-- Constraint on the version of Cabal needed to build this package.
+cabal-version: >=1.10
+
+
+library
+ -- Modules exported by the library.
+ exposed-modules: Hsmtlib, Hsmtlib.Solver, Hsmtlib.HighLevel, Hsmtlib.Solvers.Z3, Hsmtlib.Solvers.Yices, Hsmtlib.Solvers.MathSAT, Hsmtlib.Solvers.Cvc4, Hsmtlib.Solvers.Boolector, Hsmtlib.Solvers.Altergo, Hsmtlib.Solvers.Cmd.ScriptCmd, Hsmtlib.Solvers.Cmd.OnlineCmd, Hsmtlib.Solvers.Cmd.BatchCmd, Hsmtlib.Solvers.Cmd.ProcCom.Process, Hsmtlib.Solvers.Cmd.Parser.Visualizers, Hsmtlib.Solvers.Cmd.Parser.Syntax, Hsmtlib.Solvers.Cmd.Parser.Parsers, Hsmtlib.Solvers.Cmd.Parser.CmdResult
+
+ -- Modules included in this library but not exported.
+ -- other-modules:
+
+ -- LANGUAGE extensions used by modules in this package.
+ -- other-extensions:
+
+ -- Other library packages from which modules are imported.
+ build-depends: base >=4.6 && <= 4.7, smtLib >=1.0 && <1.1, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, process >=1.1 && <= 1.2 , transformers >=0.3 && <0.4, parsec >=3.1 && <3.2
+
+ -- Directories containing source files.
+ -- hs-source-dirs:
+
+ -- Base language which the package is written in.
+ default-language: Haskell2010
+
diff --git a/packages.txt b/packages.txt
index 59e9d1c..418ee83 100644
--- a/packages.txt
+++ b/packages.txt
@@ -323,6 +323,7 @@ hsemail 1.7.2
HSH 2.1.0 key # dependency of twidge
hslogger 1.2.9
hslua 0.3.13
+Hsmtlib 0.2.0.6
hsp 0.10.0
hspec 2.1.7 notest
hspec-core 2.1.7 notest
@@ -573,6 +574,7 @@ simple-reflect 0.3.2
simple-sendfile 0.2.21
skein 1.0.9.3
smallcheck 1.1.1
+smtLib 1.0.7
snap 0.14.0.6
snap-core 0.9.7.2
snap-server 0.9.5.1
diff --git a/patches/Hsmtlib/0.2.0.6/allow-base b/patches/Hsmtlib/0.2.0.6/allow-base
new file mode 100644
index 0000000..2567385
--- /dev/null
+++ b/patches/Hsmtlib/0.2.0.6/allow-base
@@ -0,0 +1,13 @@
+Index: Hsmtlib-0.2.0.6/Hsmtlib.cabal
+===================================================================
+--- Hsmtlib-0.2.0.6.orig/Hsmtlib.cabal
++++ Hsmtlib-0.2.0.6/Hsmtlib.cabal
+@@ -66,7 +66,7 @@ library
+ -- other-extensions:
+
+ -- Other library packages from which modules are imported.
+- build-depends: base >=4.6 && <= 4.7, smtLib >=1.0 && <1.1, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, process >=1.1 && <= 1.2 , transformers >=0.3 && <0.4, parsec >=3.1 && <3.2
++ build-depends: base >=4.6 && < 4.8, smtLib >=1.0 && <1.1, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, process >=1.1 && < 1.3 , transformers >=0.3 && <0.4, parsec >=3.1 && <3.2
+
+ -- Directories containing source files.
+ -- hs-source-dirs:
diff --git a/patches/Hsmtlib/0.2.0.6/series b/patches/Hsmtlib/0.2.0.6/series
new file mode 100644
index 0000000..80dfe4d
--- /dev/null
+++ b/patches/Hsmtlib/0.2.0.6/series
@@ -0,0 +1 @@
+allow-base
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/package-plan.git
More information about the Pkg-haskell-commits
mailing list