agda-stdlib 1.7.1-1 source package in Debian
Changelog
agda-stdlib (1.7.1-1) unstable; urgency=medium * New upstream release * Bump agda dependency bounds * Bump std-version to 4.6.1 -- Ilias Tsitsimpis <email address hidden> Sat, 06 Aug 2022 19:38:00 +0300
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Bookworm | release | main | libs |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda-stdlib_1.7.1-1.dsc | 2.1 KiB | 3ad8887b836612fd2f1eef7c59d5445a1533ea4551ee1091daf1c4d8d8a53232 |
| agda-stdlib_1.7.1.orig.tar.gz | 918.1 KiB | 6f92ae14664e5d1217e8366c647eb23ca88bc3724278f22dc6b80c23cace01df |
| agda-stdlib_1.7.1-1.debian.tar.xz | 5.5 KiB | 29b6d1c6b118eb6c064d07415ed293160c4a365557297467103bf39a856fe6b2 |
Available diffs
- diff from 1.3-2 to 1.7.1-1 (434.3 KiB)
No changes file available.
