agda-stdlib 1.1-1 source package in Debian
Changelog
agda-stdlib (1.1-1) unstable; 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
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_1.1-1.dsc | 2.1 KiB | bd11c47014546a6692209cd4733088bc29672b8016794ff81a989f7bd92c8aed |
| agda-stdlib_1.1.orig.tar.gz | 556.7 KiB | bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498 |
| agda-stdlib_1.1-1.debian.tar.xz | 5.4 KiB | e4eeaba87a5a259ff4d65f882ac8ae316b657921db6f148372cb730598ab6c11 |
Available diffs
- diff from 0.17-1 to 1.1-1 (498.2 KiB)
- diff from 1.1-1~build1 (in Ubuntu) to 1.1-1 (233 bytes)
No changes file available.
