agda-stdlib 0.12-2 source package in Ubuntu
Changelog
agda-stdlib (0.12-2) unstable; urgency=medium
* Team upload.
* Add Breaks: agda-bin << 2.5.1: agdai files incompatible
* Switch Enhances from agda-mode to elpa-agda2-mode
* 60agda-stdlib.el: Switch to agda2-program-args as agda2-include-dirs is
deprecated
* Skip running tests when DEB_BUILD_OPTIONS contains nocheck.
-- Helmut Grohne <email address hidden> Thu, 23 Jun 2016 19:43:37 +0200
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_0.12-2.dsc | 2.1 KiB | 9de3ac03c97f9a287b283c0ce68cea0b4c9b67d4b886375215d1a16ed5eff290 |
| agda-stdlib_0.12.orig.tar.gz | 248.1 KiB | 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87 |
| agda-stdlib_0.12-2.debian.tar.xz | 4.9 KiB | 4b76be7b82f401fd7968fd238d986bd3ad09acea44af71ee7e2524c9fcd1c86c |
Available diffs
- diff from 0.11-1 to 0.12-2 (19.8 KiB)
- diff from 0.12-1 to 0.12-2 (1017 bytes)
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.
