agda 2.5.1-2 source package in Ubuntu
Changelog
agda (2.5.1-2) unstable; urgency=low
[ Joachim Breitner ]
* Fix Vcs-Browser field.
[ Sean Whitton ]
* 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.
* Add missing continuation marker in d/copyright.
-- Sean Whitton <email address hidden> Mon, 20 Jun 2016 17:34:46 +0900
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.5.1-2.dsc | 3.9 KiB | 4aa604a9e2711cab21f78e42494bef0a82e9b9bef78146ce162bb9bac53f4089 |
| agda_2.5.1.orig.tar.gz | 1.1 MiB | ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8 |
| agda_2.5.1-2.debian.tar.xz | 8.5 KiB | e2ebbbbafd1c9c27d648256c45ae05cd49fe13e58c5e33007523b7df5797151e |
Available diffs
- diff from 2.4.2.5-1build1 (in Ubuntu) to 2.5.1-2 (630.4 KiB)
- diff from 2.5.1-1 to 2.5.1-2 (1.2 KiB)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu yakkety.
No description available for agda in ubuntu yakkety.
- agda-bin: No summary available for agda-bin in ubuntu yakkety.
No description available for agda-bin in ubuntu yakkety.
- agda-mode: No summary available for agda-mode in ubuntu yakkety.
No description available for agda-mode in ubuntu yakkety.
- elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu yakkety.
No description available for elpa-agda2-mode in ubuntu yakkety.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu yakkety.
No description available for libghc-agda-dev in ubuntu yakkety.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu yakkety.
No description available for libghc-agda-doc in ubuntu yakkety.
