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