diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-20 17:06:27 +0900 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-20 17:18:03 +0900 |
| commit | 561a36e23d3ecba3e97440d74e33a8ea51f47ab4 (patch) | |
| tree | 96fb60c97377d6f3ddbd446c0c3dc402999414d5 /p/agda | |
| parent | a9b723bb94f33870fc7f82fa0863ec5073f48ee3 (diff) | |
| download | DHG_packages-561a36e23d3ecba3e97440d74e33a8ea51f47ab4.tar.gz | |
agda: changelog tweak
Diffstat (limited to 'p/agda')
| -rw-r--r-- | p/agda/debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog index 213e9b3ae..757c6c3ad 100644 --- a/p/agda/debian/changelog +++ b/p/agda/debian/changelog @@ -1,6 +1,6 @@ -agda (2.5.1-2) UNRELEASED; urgency=medium +agda (2.5.1-2) UNRELEASED; urgency=low - * Add `--ghc-options="-optc--param -optcggc-min-expand=10"` to GHC + * Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC configure args in an attempt to fix FTBFS on arm buildds. As suggested by Joachim Breitner. * Set Priority: extra and Section: oldlibs on agda-mode transitional package. |