[package-plan] 01/02: Updated ghc-mod and added cabal-helper.

Kristoffer Rose krisrose at moszumanska.debian.org
Wed Aug 19 21:52:46 UTC 2015


This is an automated email from the git hooks/post-receive script.

krisrose pushed a commit to branch st3
in repository package-plan.

commit 414d51dfbccf8c73782025d55536a363469061e2
Author: Sven Bartscher <sven.bartscher at weltraumschlangen.de>
Date:   Sun Aug 16 15:08:02 2015 +0200

    Updated ghc-mod and added cabal-helper.
---
 additional-cabals/Hsmtlib-0.2.0.6.cabal | 76 ---------------------------------
 packages.txt                            |  4 +-
 patches/Hsmtlib/0.2.0.6/allow-base      | 13 ------
 patches/Hsmtlib/0.2.0.6/series          |  1 -
 4 files changed, 3 insertions(+), 91 deletions(-)

diff --git a/additional-cabals/Hsmtlib-0.2.0.6.cabal b/additional-cabals/Hsmtlib-0.2.0.6.cabal
deleted file mode 100644
index 78cbaa1..0000000
--- a/additional-cabals/Hsmtlib-0.2.0.6.cabal
+++ /dev/null
@@ -1,76 +0,0 @@
--- 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 b763e52..c4a007f 100644
--- a/packages.txt
+++ b/packages.txt
@@ -71,6 +71,7 @@ c2hs 0.25.2 binary notest
 Cabal 1.22.4.0 ghcpkg notest
 cabal-debian 4.30.2 binary -f-local-debian key
 cabal-file-th 0.2.3
+cabal-helper 0.5.1.0
 cabal-install 1.22.6.0 binary notest # Disabled testing because of quickcheck limits during ghc 7.10 transition
 cairo 0.13.1.0
 case-insensitive 1.2.0.4
@@ -240,7 +241,7 @@ generic-deriving 1.8.0
 geniplate 0.6.0.5 obsolete
 geniplate-mirror 0.7.1
 ghc-events 0.4.4.0
-ghc-mod 5.2.1.2 binary
+ghc-mod 5.3.0.0 binary
 ghc-mtl 1.2.1.0
 ghc-paths 0.1.0.9
 ghc-syb-utils 0.2.3
@@ -330,6 +331,7 @@ hsemail 1.7.7
 HSH 2.1.0 key # dependency of twidge
 hslogger 1.2.9
 hslua 0.4.0
+Hsmtlib 2.8.8.8
 HsOpenSSL 0.11.1.1
 hsp 0.10.0
 hspec 2.1.10 notest
diff --git a/patches/Hsmtlib/0.2.0.6/allow-base b/patches/Hsmtlib/0.2.0.6/allow-base
deleted file mode 100644
index 2567385..0000000
--- a/patches/Hsmtlib/0.2.0.6/allow-base
+++ /dev/null
@@ -1,13 +0,0 @@
-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
deleted file mode 100644
index 80dfe4d..0000000
--- a/patches/Hsmtlib/0.2.0.6/series
+++ /dev/null
@@ -1 +0,0 @@
-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