Hi, Am Montag, den 02.06.2014, 19:41 +0000 schrieb Sven Bartscher: > Mon Jun 2 19:39:10 UTC 2014 Sven Bartscher <sven.bartscher@weltraumschlangen.de> > * 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 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