agda-stdlib 0.11-1 source package in Ubuntu
Changelog
agda-stdlib (0.11-1) unstable; urgency=medium * [22d7b46] Imported Upstream version 0.11 * [cb56887] Bump relationships with agda to ≥ 2.4.2.4 -- Iain Lane <email address hidden> Mon, 04 Jan 2016 13:01:15 +0000
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | libs |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda-stdlib_0.11-1.dsc | 2.1 KiB | c9ed653138559aa46af2912ccf044076e999f06dfbd057eda35a2f5f6099c1cb |
agda-stdlib_0.11.orig.tar.gz | 247.3 KiB | 7982b119435dcac451d870a94c1db73766105b5572e4725eb0ce1f0c0ebf0377 |
agda-stdlib_0.11-1.debian.tar.xz | 4.5 KiB | b3eb1565e379a148213accbd8ec8867734e3c0922180467344c8eb19c0c93cae |
Available diffs
- diff from 0.9-1 to 0.11-1 (38.4 KiB)
No changes file available.
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 yakkety.
No description available for agda-stdlib-doc in ubuntu yakkety.