[DHG_packages] 01/01: Hsmtlib: drop patches
Clint Adams
clint at moszumanska.debian.org
Sun Dec 6 04:31:55 UTC 2015
This is an automated email from the git hooks/post-receive script.
clint pushed a commit to branch master
in repository DHG_packages.
commit 564a522e61b671e58b1e71b24a8252b90d254ede
Author: Clint Adams <clint at debian.org>
Date: Sat Dec 5 23:31:41 2015 -0500
Hsmtlib: drop patches
---
p/haskell-hsmtlib/debian/patches/series | 1 -
p/haskell-hsmtlib/debian/patches/tweak | 13 -------------
p/haskell-hsmtlib/debian/patches/version-tweak | 18 ------------------
3 files changed, 32 deletions(-)
diff --git a/p/haskell-hsmtlib/debian/patches/series b/p/haskell-hsmtlib/debian/patches/series
deleted file mode 100644
index 90b442e..0000000
--- a/p/haskell-hsmtlib/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-version-tweak
diff --git a/p/haskell-hsmtlib/debian/patches/tweak b/p/haskell-hsmtlib/debian/patches/tweak
deleted file mode 100644
index b714ed2..0000000
--- a/p/haskell-hsmtlib/debian/patches/tweak
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: Hsmtlib.cabal
-======================================
---- haskell-hsmtlib-2.8.8.8/Hsmtlib.cabal~ 2014-07-03 00:58:58.000000000 +0200
-+++ haskell-hsmtlib-2.8.8.8/Hsmtlib.cabal 2015-08-17 23:43:54.962451769 +0200
-@@ -32,6 +32,6 @@
- exposed-modules: Hsmtlib, Hsmtlib.Solver, Hsmtlib.HighLevel, Hsmtlib.Parsers.ParseResponse, Hsmtlib.Parsers.Visualizer, Hsmtlib.Parsers.ParseScript, Hsmtlib.Parsers.Syntax, Hsmtlib.Parsers.AuxParser, Hsmtlib.Solvers.Boolector, Hsmtlib.Solvers.Cvc4, Hsmtlib.Solvers.Altergo, Hsmtlib.Solvers.Z3, Hsmtlib.Solvers.Yices, Hsmtlib.Solvers.MathSAT, Hsmtlib.Solvers.Cmd.BatchCmd, Hsmtlib.Solvers.Cmd.ResultHelpers, Hsmtlib.Solvers.Cmd.CmdResult, Hsmtlib.Solvers.Cmd.OnlineCmd, Hsmtlib.Solvers. [...]
- -- other-modules:
- -- other-extensions:
-- build-depends: base >=4.7 && <4.8, containers >=0.5 && <0.6, smtLib >=1.0 && <1.1, transformers >=0.4 && <0.5, parsec >=3.1 && <3.2, pretty >=1.1 && <1.2, process >=1.2 && <1.3
-+ build-depends: base >=4.7, containers >=0.5 && <0.6, smtLib >=1.0 && <1.1, transformers >=0.4 && <0.5, parsec >=3.1 && <3.2, pretty >=1.1 && <1.2, process >=1.2 && <1.3
- -- hs-source-dirs:
- default-language: Haskell2010
-\ No newline at end of file
diff --git a/p/haskell-hsmtlib/debian/patches/version-tweak b/p/haskell-hsmtlib/debian/patches/version-tweak
deleted file mode 100644
index fdcded6..0000000
--- a/p/haskell-hsmtlib/debian/patches/version-tweak
+++ /dev/null
@@ -1,18 +0,0 @@
-Description: Tweak upper bounds of versions to not exclude minor extensions.
- haskell-hsmtlib (0.2.0.6-1) unstable; urgency=low
- .
- * Initial release.
-Author: Kristoffer H Rose <krisrose at debian.org>
-
----
---- haskell-hsmtlib-0.2.0.6.orig/Hsmtlib.cabal
-+++ haskell-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:
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git
More information about the Pkg-haskell-commits
mailing list