[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: haskell-src-exts: releasing package haskell-src-exts version 1.14.0-1



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


Reply to: