Hi, Am Freitag, den 31.07.2015, 12:30 +0100 schrieb Iain Lane: > I'm having trouble finding the time to do this - perhaps someone else > could. Or it might be that there's a cherry-pick or two to get > 2.4.2.2 > working with cpphs 1.19 which we could take as a stopgap. I forgot that the migration was not complete when I uploaded a bunch of packages to jessie-backports, and these uploads were now rejected because the packages are not in testing (haskell-network, haskell -http). They would be if we could update agda, preferably without updating others, with high urgency. Does that motivate someone to look into cherry-picking cpphs-1.19 patches back to Agda 2.4.2.2? Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part