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 :-) Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part