[Git][haskell-team/DHG_packages][master] agd: patch for newer EdisonCore

[Clint Adams]

Clint Adams pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
6c6fe316 by Clint Adams at 2018-04-29T08:41:58-04:00
agd: patch for newer EdisonCore

- - - - -


4 changed files:

- p/agda/debian/changelog
- p/agda/debian/control
- + p/agda/debian/patches/newer-deps
- p/agda/debian/patches/series


Changes:

=====================================
p/agda/debian/changelog
=====================================
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.5.3-5) unstable; urgency=medium
+
+  * Patch for newer EdisonCore.
+
+ -- Clint Adams <clint at debian.org>  Sun, 29 Apr 2018 08:41:41 -0400
+
 agda (2.5.3-4) unstable; urgency=medium
 
   [ Ilias Tsitsimpis ]


=====================================
p/agda/debian/control
=====================================
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -12,9 +12,6 @@ Build-Depends:
  happy,
  haskell-devscripts (>= 0.13),
  ghc-prof,
- libghc-edison-core-dev (>= 1.3.1.1),
- libghc-edison-core-dev (<< 1.3.2),
- libghc-edison-core-prof,
  libghc-async-dev (>= 2.0.2),
  libghc-async-dev (<< 2.2),
  libghc-async-prof,
@@ -26,8 +23,8 @@ Build-Depends:
  libghc-boxes-dev (>= 0.1.3),
  libghc-data-hash-dev (<< 0.3),
  libghc-data-hash-dev (>= 0.2.0.0),
- libghc-edison-core-dev (<< 1.3.2),
- libghc-edison-core-dev (>= 1.3.1.1),
+ libghc-edison-core-dev (>= 1.3.2.1),
+ libghc-edison-core-dev (<< 1.4),
  libghc-edit-distance-dev (<< 0.3),
  libghc-edit-distance-prof,
  libghc-equivalence-dev (>= 0.3.2),


=====================================
p/agda/debian/patches/newer-deps
=====================================
--- /dev/null
+++ b/p/agda/debian/patches/newer-deps
@@ -0,0 +1,11 @@
+--- a/Agda.cabal
++++ b/Agda.cabal
+@@ -132,7 +132,7 @@
+                 , data-hash >= 0.2.0.0 && < 0.3
+                 , deepseq >= 1.3.0.2 && < 1.5
+                 , directory >= 1.2.0.1 && < 1.4
+-                , EdisonCore >= 1.3.1.1 && < 1.3.2
++                , EdisonCore >= 1.3.2.1 && < 1.4
+                 , edit-distance >= 0.2.1.2 && < 0.3
+                 , equivalence >= 0.3.2 && < 0.4
+                 , filepath >= 1.3.0.1 && < 1.5


=====================================
p/agda/debian/patches/series
=====================================
--- a/p/agda/debian/patches/series
+++ b/p/agda/debian/patches/series
@@ -1 +1,2 @@
 var-lib-agda
+newer-deps



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/commit/6c6fe3166be3dde6ced0494cc7e88945da3b95b5

---
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/commit/6c6fe3166be3dde6ced0494cc7e88945da3b95b5
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20180429/6f8f675d/attachment-0001.html>