agda-stdlib 0.14-1 source package in Ubuntu
Changelog
agda-stdlib (0.14-1) unstable; urgency=medium [ Gianfranco Costamagna ] * New upstream release (Closes: #881307) * Bump std-version to 4.1.1, set priority to optional [ Helmut Grohne ] * Team upload * Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307) * Bump agda-bin Breaks due to agdai incompatibility. * Tighten up agda relation ships to detect incompatibility next time. -- Gianfranco Costamagna <email address hidden> Sun, 26 Nov 2017 11:28:04 +0100
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | libs |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda-stdlib_0.14-1.dsc | 2.1 KiB | 0ee4ef16a11ee7170d31d0ac4d34300ab6b2d52beac992fee48a9fed58da9853 |
agda-stdlib_0.14.orig.tar.gz | 278.7 KiB | 7237c4039c61542bc010fd6db5da27dd6548c4ca5cde0d5d84b64f2b1a643b09 |
agda-stdlib_0.14-1.debian.tar.xz | 5.1 KiB | b7014f1b6fb1806d8994c0f8ef653acc39fee043d8911db3b772c5d498881578 |
Available diffs
- diff from 0.14-1~build1 (in Ubuntu) to 0.14-1 (319 bytes)
No changes file available.
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu disco.
No description available for agda-stdlib in ubuntu disco.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu disco.
No description available for agda-stdlib-doc in ubuntu disco.