[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