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 ?
Thanks,
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