agda-stdlib 0.17-1 source package in Ubuntu
Changelog
agda-stdlib (0.17-1) unstable; urgency=medium
* Team upload.
* New upstream release.
- Bump dep bounds on agda-bin & libghc-agda-dev.
Require 2.5.4.1 per upstream changelog.
Assume, at least for now, that agda-stdlib will break with 2.5.5.
* Drop spurious period from end of Standards-Version field.
* Point Vcs-* at salsa.
-- Sean Whitton <email address hidden> Fri, 23 Nov 2018 17:54:52 -0700
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_0.17-1.dsc | 2.2 KiB | 71b3470293812b22a02b0bd8cfaea699d3ab1003672ea879da9207c21827c1ee |
| agda-stdlib_0.17.orig.tar.gz | 388.0 KiB | ba4abf7451da119e73103edda66e04bcef0c440d2cf5a75dc4fe47f911cedbe8 |
| agda-stdlib_0.17-1.debian.tar.xz | 5.2 KiB | 13a34a7dfbad7ef59288678dd5a97e892af0a35af666bbff2b42022be7cd9835 |
Available diffs
- diff from 0.14-1 to 0.17-1 (407.4 KiB)
No changes file available.
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu eoan.
No description available for agda-stdlib in ubuntu eoan.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu eoan.
No description available for agda-stdlib-doc in ubuntu eoan.
