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 [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ]
signature.asc
Description: Digital signature