[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