[package-plan] 01/02: Adding Hsmtlib.

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

