agda-stdlib 1.1-1~build1 source package in Ubuntu
Changelog
agda-stdlib (1.1-1~build1) eoan; urgency=medium * Team upload * New upstream version 1.1 * Update copyright years * Bump compat level to 12 * Bump std-version to 4.4.0 * Update agda relationships bounds -- Gianfranco Costamagna <email address hidden> Wed, 04 Sep 2019 15:06:56 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Eoan
- 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_1.1.orig.tar.gz | 556.7 KiB | bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498 |
| agda-stdlib_1.1-1~build1.debian.tar.xz | 5.4 KiB | 72a4bdf68b9de572732be6d071887a916f1e90fd4b68e15c2236e1383f3df9ac |
| agda-stdlib_1.1-1~build1.dsc | 2.1 KiB | dfde891bb0bedbe8f6a82e54c4e4c67a8aa306d4cb63a749e853dae5f14418d9 |
Available diffs
- diff from 0.17-1 (in Debian) to 1.1-1~build1 (498.2 KiB)
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.
