agda-stdlib 0.12-2build1 source package in Ubuntu
Changelog
agda-stdlib (0.12-2build1) yakkety; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Tue, 09 Aug 2016 15:28:08 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Yakkety
- Original maintainer:
- Iain Lane
- Architectures:
- all
- Section:
- libs
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_0.12.orig.tar.gz | 248.1 KiB | 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87 |
| agda-stdlib_0.12-2build1.debian.tar.xz | 4.9 KiB | 73b236c1a69f6ef01c00fc606389702dae19171d35cfaa0cf5bc4e81c536b952 |
| agda-stdlib_0.12-2build1.dsc | 2.1 KiB | fbd703f74ae8b3740b3b51873682edeedde6dc8a488340776b701e18dee3d4d3 |
Available diffs
- diff from 0.12-2 (in Debian) to 0.12-2build1 (318 bytes)
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu yakkety.
No description available for agda-stdlib in ubuntu yakkety.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu zesty.
No description available for agda-stdlib-doc in ubuntu zesty.
