Commit 6c6fe316 authored by Clint Adams's avatar Clint Adams
Browse files

agd: patch for newer EdisonCore

parent a26f492f

p/agda/debian/changelog

+6 −0
Original line number Diff line number Diff line 
agda (2.5.3-5) unstable; urgency=medium



  * Patch for newer EdisonCore.



 -- Clint Adams <clint@debian.org>  Sun, 29 Apr 2018 08:41:41 -0400



agda (2.5.3-4) unstable; urgency=medium



  [ Ilias Tsitsimpis ]

p/agda/debian/control

+2 −5
Original line number Diff line number Diff line
@@ -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

0 → 100644
+11 −0
Original line number Diff line number Diff line 
--- 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

+1 −0
Original line number Diff line number Diff line 
var-lib-agda

newer-deps