Hello, 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. -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature