On Tue, Oct 15, 2013 at 11:15:59AM +0200, Joachim Breitner wrote: > Hi Iain > > Am Dienstag, den 15.10.2013, 11:00 +0200 schrieb Joachim Breitner: > > I’m uploading yi right now. According to > > http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/ only Agda remains to be fixed. There is no new Agda version, so we need to patch it. Louis, can you see if Agda builds if you allow the newer hashable? > > hmpf, Agda already specifies > hashable >= 1.1.2.3 && < 1.3, > but the build-depends of the Agda package does not reflect that. > > Iain, could you please upload an Agda version with all Build-Depends > ranges matching that of > http://hackage.haskell.org/package/Agda-2.3.2.1/Agda.cabal ? Doing. I only noticed that one, but it also needs a cherry-picked upstream patch for Alex 3.1. -- Iain Lane [ iain@orangesquash.org.uk ] Debian Developer [ laney@debian.org ] Ubuntu Developer [ laney@ubuntu.com ]
Attachment:
signature.asc
Description: Digital signature