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 nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part