Bug#793194: agda: FTBFS with latest cpphs (1.19)

Joachim Breitner nomeata at debian.org
Mon Aug 3 19:26:00 UTC 2015


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 
> 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


Joachim "nomeata" Breitner
Debian Developer
  nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F
  JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20150803/c6511f9c/attachment.sig>

More information about the Pkg-haskell-maintainers mailing list