Hi, Am Montag, den 02.06.2014, 19:41 +0000 schrieb Sven Bartscher: > Mon Jun 2 19:39:10 UTC 2014 Sven Bartscher > <[email protected]> > * Ready to release 3.1.4 > Unluckily we can't package the new upstream version yet. The new version > depends on hlint, > which depends on a newer version of cpphs. This new version breaks > haskell-src-exts, > which, when updated, breaks agda, shich has no newer version.
try to build agda locally and see if it works without or with little change, then let upstream know: They usually consider distro requests for minor version bumps. And if not, we can just patch it ourselves. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer [email protected] | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
