[DHG_packages] 13/34: agda: Bump bounds for newer directory

[Ilias Tsitsimpis]

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

iliastsi-guest pushed a commit to branch ghc-8.0.2
in repository DHG_packages.

commit 8934dfe1a4dae887fde44eac183f53f1ca53935e
Author: Ilias Tsitsimpis <i.tsitsimpis at gmail.com>
Date:   Wed Jan 25 21:20:27 2017 +0200

    agda: Bump bounds for newer directory
---
 p/agda/debian/changelog                          |  6 ++++++
 p/agda/debian/patches/add-elpa-pkg-el-file.patch |  2 ++
 p/agda/debian/patches/newer-directory            | 27 ++++++++++++++++++++++++
 p/agda/debian/patches/newer-edison-api           |  4 +++-
 p/agda/debian/patches/series                     |  1 +
 5 files changed, 39 insertions(+), 1 deletion(-)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 0427c60..6474325 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.5.1.1-4) unstable; urgency=medium
+
+  * Bump bounds for newer directory, shipped with ghc-8.0.2.
+
+ -- Ilias Tsitsimpis <i.tsitsimpis at gmail.com>  Wed, 25 Jan 2017 19:13:42 +0200
+
 agda (2.5.1.1-3) unstable; urgency=medium
 
   * Upload to unstable as part of GHC 8 transition.
diff --git a/p/agda/debian/patches/add-elpa-pkg-el-file.patch b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
index 7bc0a43..c986a8c 100644
--- a/p/agda/debian/patches/add-elpa-pkg-el-file.patch
+++ b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
@@ -5,6 +5,8 @@ Forwarded: https://github.com/agda/agda/issues/2032
 This file is needed for the elpa-agda2-bin binary package to build.
 ---
 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+Index: b/src/data/emacs-mode/agda2-mode-pkg.el
+===================================================================
 --- /dev/null
 +++ b/src/data/emacs-mode/agda2-mode-pkg.el
 @@ -0,0 +1,2 @@
diff --git a/p/agda/debian/patches/newer-directory b/p/agda/debian/patches/newer-directory
new file mode 100644
index 0000000..9bf6001
--- /dev/null
+++ b/p/agda/debian/patches/newer-directory
@@ -0,0 +1,27 @@
+Description: Bump bounds for newer directory
+ Bump bounds for directory 1.3.0.0, shipped with ghc-8.0.2.
+Author: Ilias Tsitsimpis <i.tsitsimpis at gmail.com>
+Origin: no
+
+Index: b/Agda.cabal
+===================================================================
+--- a/Agda.cabal
++++ b/Agda.cabal
+@@ -121,7 +121,7 @@ library
+     , containers >= 0.5.0.0 && < 0.6
+     , data-hash >= 0.2.0.0 && < 0.3
+     , deepseq >= 1.3.0.1 && < 1.5
+-    , directory >= 1.2.0.1 && < 1.3
++    , directory >= 1.2.0.1 && < 1.4
+     -- Edison versioning scheme: http://rwd.rdockins.name/edison/home/.
+     -- EdisonAPI isn't used by Agda, but EdisonCore 1.3.1 doesn't
+     -- declare what version of EdisonAPI it depends on.
+@@ -554,7 +554,7 @@ executable agda-mode
+   other-modules:    Paths_Agda
+   build-depends:
+     base >= 4.6.0.1 && < 4.10
+-    , directory >= 1.2.0.1 && < 1.3
++    , directory >= 1.2.0.1 && < 1.4
+     , filepath >= 1.3.0.1 && < 1.5
+     , process >= 1.1.0.2 && < 1.5
+ 
diff --git a/p/agda/debian/patches/newer-edison-api b/p/agda/debian/patches/newer-edison-api
index 83b243d..11fdc91 100644
--- a/p/agda/debian/patches/newer-edison-api
+++ b/p/agda/debian/patches/newer-edison-api
@@ -1,6 +1,8 @@
+Index: b/Agda.cabal
+===================================================================
 --- a/Agda.cabal
 +++ b/Agda.cabal
-@@ -125,7 +125,7 @@
+@@ -125,7 +125,7 @@ library
      -- Edison versioning scheme: http://rwd.rdockins.name/edison/home/.
      -- EdisonAPI isn't used by Agda, but EdisonCore 1.3.1 doesn't
      -- declare what version of EdisonAPI it depends on.
diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series
index 046950e..9039abd 100644
--- a/p/agda/debian/patches/series
+++ b/p/agda/debian/patches/series
@@ -1,2 +1,3 @@
 add-elpa-pkg-el-file.patch
 newer-edison-api
+newer-directory

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git