agda 2.5.1-2build2 source package in Ubuntu
Changelog
agda (2.5.1-2build2) yakkety; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Tue, 09 Aug 2016 14:52:46 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Yakkety
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.5.1.orig.tar.gz | 1.1 MiB | ee4658eafb514460d598322fa98528d1af6e25e5aa51843bb473c0d8a325c0c8 |
agda_2.5.1-2build2.debian.tar.xz | 8.7 KiB | 4424ea8feef46012e0e2438d0be254989b870f1eca404d3b326dfbd9e98d80fd |
agda_2.5.1-2build2.dsc | 4.0 KiB | 88e503fd40ccc3565a16a50549bd646ecdd7930c5b462c86ec5262264c98bc62 |
Available diffs
- diff from 2.5.1-2 (in Debian) to 2.5.1-2build2 (589 bytes)
- diff from 2.5.1-2build1 to 2.5.1-2build2 (334 bytes)
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 zesty.
No description available for agda-mode in ubuntu zesty.
- 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.