agda-stdlib 1.7.3-1 source package in Ubuntu
Changelog
agda-stdlib (1.7.3-1) unstable; urgency=low * New upstream release (Closes: #1054936) * Apply multi-arch hints. + agda-stdlib-doc: Add Multi-Arch: foreign. -- Ilias Tsitsimpis <email address hidden> Sat, 04 Nov 2023 13:55:07 +0200
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Noble | release | universe | libs |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_1.7.3-1.dsc | 2.1 KiB | af6fa95a71e7e33b3039c83bb65bb8b410dc8558b5ea7c2929a121953537c9ae |
| agda-stdlib_1.7.3.orig.tar.gz | 920.0 KiB | 91c42323fdc94d032a8c98ea9249d9d77e7ba3b51749fe85f18536dbbe603437 |
| agda-stdlib_1.7.3-1.debian.tar.xz | 5.6 KiB | 308208d0d6be3acce2860351bf71592b4c3d7f3485f0c58d39e48003dbd8c93c |
Available diffs
- diff from 1.7.1-1 to 1.7.3-1 (41.7 KiB)
No changes file available.
Binary packages built by this source
- agda-stdlib: No summary available for agda-stdlib in ubuntu oracular.
No description available for agda-stdlib in ubuntu oracular.
- agda-stdlib-doc: No summary available for agda-stdlib-doc in ubuntu oracular.
No description available for agda-stdlib-doc in ubuntu oracular.
