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