[DHG_packages] 13/34: agda: Bump bounds for newer directory
Ilias Tsitsimpis
iliastsi-guest at moszumanska.debian.org
Fri Jan 27 09:46:47 UTC 2017
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
More information about the Pkg-haskell-commits
mailing list