agda 2.6.2.2-1 source package in Debian
Changelog
agda (2.6.2.2-1) unstable; urgency=medium * New upstream release (Closes: #1003318) * Declare compliance with Debian policy 4.6.1 * Install missing files (Closes: #1008809, #992448) -- Ilias Tsitsimpis <email address hidden> Sat, 06 Aug 2022 16:14:08 +0300
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.6.2.2-1.dsc | 4.3 KiB | 74e075e94f84246a2d2b793f2405eab3a14b07b7de6831da6b260a5d1f952420 |
agda_2.6.2.2.orig.tar.gz | 1.6 MiB | e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a |
agda_2.6.2.2-1.debian.tar.xz | 10.0 KiB | a2e1abb25a2896188ed10f90394ca25cc29ee38b017a2bbd1169fbcc7795b51f |
Available diffs
No changes file available.