On Fri, Oct 18, 2013 at 09:30:31AM +0200, Joachim Breitner wrote: > Hi, > > Am Dienstag, den 15.10.2013, 10:57 +0100 schrieb Iain Lane: > > 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. > > what is the status of this? The daily jenkins mails about Agda > uninstallable get annoying :-)
I stopped because Louis told me to. Should I upload? -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ]
signature.asc
Description: Digital signature