Hello, On Thu, Oct 31, 2013 at 09:46:34AM +0100, Joachim Breitner wrote: > Dear Raúl, > > your upload > > Am Montag, den 28.10.2013, 20:06 +0000 schrieb Raúl Benencia: > > Mon Oct 28 20:03:20 UTC 2013 Ra[_<U+00FA>_]l Benencia <rul@kalgan.cc> > > * releasing package haskell-src-exts version 1.14.0-1 > > broke agda, haskell-hsx, haskell-hsx2hs and > haskell-test-framework-th-prime, see http://buildd.debian.org/ for the > build logs. The updated packages for haskell-test-framework-th-prime and haskell-hsx2hs are in unstable. Thanks for the sponsoring, Clint! The package for haskell-hsx was a bit trickier, because there was no upstream version that worked with src-exts 1.14.*. I've made a patch to solve this issue, which I'm about to send to upstream. On the agda side, luckily there is a new upstream release that has support for haskell-src-exts 1.14.*. I've a made and attached a patch that handles the update, but I prefer that someone who is more familiar with the package makes the commit and release, because in spite of being a minor version change, the amount of introduced code[0] is quite... notable. Anyway, most of the new files are just tests and benchmarks. Hopefully this changes will solve the issues introduced by haskell-src-exts. Cheers. [0] http://hdiff.luite.com/cgit/Agda/diff/?id=2.3.2.2&id2=2.3.2.1
diff -rupN agda/debian/changelog Agda-2.3.2.2/debian/changelog --- agda/debian/changelog 2013-10-31 10:54:09.637755721 -0300 +++ Agda-2.3.2.2/debian/changelog 2013-10-31 23:25:50.412732590 -0300 @@ -1,3 +1,9 @@ +agda (2.3.2.2-1) UNRELEASED; urgency=low + + * New upstream release + + -- Raúl Benencia <rul@kalgan.cc> Thu, 31 Oct 2013 23:25:23 -0300 + agda (2.3.2.1-1) unstable; urgency=low * [8cfbabf] Imported Upstream version 2.3.2.1 diff -rupN agda/debian/control Agda-2.3.2.2/debian/control --- agda/debian/control 2013-10-31 10:54:09.637755721 -0300 +++ Agda-2.3.2.2/debian/control 2013-10-31 23:51:58.251476535 -0300 @@ -13,7 +13,7 @@ Build-Depends: debhelper (>= 9), libghc-hashable-dev (>= 1.1.2.3), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.0), - libghc-hashtables-dev (<< 1.1), + libghc-hashtables-dev (<< 1.2), libghc-haskeline-dev (>= 0.6.3.2), libghc-haskeline-dev (<< 0.8), libghc-mtl-dev (>= 2.1.1), @@ -26,7 +26,7 @@ Build-Depends: debhelper (>= 9), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-src-exts-dev (>= 1.9.6), - libghc-src-exts-dev (<< 1.14), + libghc-src-exts-dev (<< 1.15), libghc-quickcheck2-dev (>= 2.3), libghc-quickcheck2-dev (<< 2.7), libghc-text-dev (>= 0.11), diff -rupN agda/debian/patches/series Agda-2.3.2.2/debian/patches/series --- agda/debian/patches/series 2013-10-31 10:54:09.637755721 -0300 +++ Agda-2.3.2.2/debian/patches/series 1969-12-31 21:00:00.000000000 -0300 @@ -1 +0,0 @@ -support-alex-3.1 diff -rupN agda/debian/patches/support-alex-3.1 Agda-2.3.2.2/debian/patches/support-alex-3.1 --- agda/debian/patches/support-alex-3.1 2013-10-31 10:54:09.637755721 -0300 +++ Agda-2.3.2.2/debian/patches/support-alex-3.1 1969-12-31 21:00:00.000000000 -0300 @@ -1,15 +0,0 @@ -Wed Sep 18 23:17:08 BST 2013 Andr�Sicard-Ram�z <andres.sicard.ramirez@gmail.com> - * Support for Alex 3.1.*. -Index: b/Agda.cabal -=================================================================== ---- a/Agda.cabal -+++ b/Agda.cabal -@@ -98,7 +98,7 @@ - directory == 1.2.* - - build-tools: happy >= 1.15 && < 2, -- alex >= 2.3.1 && < 3.1 -+ alex >= 2.3.1 && < 3.2 - extensions: CPP - exposed-modules: Agda.Main - Agda.ImpossibleTest
Attachment:
signature.asc
Description: Digital signature