agda-stdlib 0.12-2build2 source package in Ubuntu
Changelog
agda-stdlib (0.12-2build2) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Tue, 15 Nov 2016 17:54:21 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Zesty
- 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-2build2.debian.tar.xz | 4.9 KiB | ada41c0b4aa47072d5523ae9d61ddd1bf799d2a0e7be299de149ac684ae205a4 |
| agda-stdlib_0.12-2build2.dsc | 2.1 KiB | f80707d4e7a9925da3393e33682a015de259d7c7f81a7dc77302dcb1350bf0b9 |
Available diffs
- diff from 0.12-2build1 to 0.12-2build2 (315 bytes)
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu zesty.
No description available for agda-stdlib in ubuntu zesty.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu zesty.
No description available for agda-stdlib-doc in ubuntu zesty.
