agda-stdlib 0.12-2build3 source package in Ubuntu
Changelog
agda-stdlib (0.12-2build3) artful; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Wed, 21 Jun 2017 18:53:58 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Artful
- 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-2build3.debian.tar.xz | 5.0 KiB | 22c24f257d4349cd927da1463077fd02c0af8defa05fc41fc5f1104f04decd28 |
agda-stdlib_0.12-2build3.dsc | 2.1 KiB | 2c896119fae45b794d9944711f7c9110474456017005dc37a257efb8b8f57b59 |
Available diffs
- diff from 0.12-2build2 to 0.12-2build3 (313 bytes)
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu artful.
No description available for agda-stdlib in ubuntu artful.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu artful.
No description available for agda-stdlib-doc in ubuntu artful.