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
[email protected] | ICQ# 74513189 | GPG-Keyid: 4743206C
JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
