Hi, Am Montag, den 20.06.2016, 17:36 +0900 schrieb Sean Whitton: > On Fri, Jun 17, 2016 at 09:36:57AM +0200, Joachim Breitner wrote: > > It may help to add > > DEB_SETUP_GHC_CONFIGURE_ARGS += --ghc-options="-optc--param -optcggc-min-expand=10" > > to debian/rules; at least it has in the past. Unfortunately, this is > > already in place for haskell-openglraw. It might be worth a try for > > agda. > > I've made this change, confirmed the package still builds on amd64 and > marked agda 2.5.1-2 as ready for upload. I would be grateful if someone > would sponsor the upload. did not help :-( https://buildd.debian.org/status/fetch.php?pkg=agda&arch=armel&ver=2.5.1-2&stamp=1466427602&file=log Lets just remove agda on arm*, shall we? Or do we have any reason to believe that there are users out there? Greetings, Joachim -- Joachim “nomeata” Breitner Debian Developer nomeata@debian.org • https://people.debian.org/~nomeata XMPP: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F https://www.joachim-breitner.de/
Attachment:
signature.asc
Description: This is a digitally signed message part