agda 2.5.2-1 source package in Ubuntu
Changelog
agda (2.5.2-1) unstable; urgency=medium * New upstream release * Team upload * Drop all patches, upstream * Bump std-version to 4.0.0 * Bump compat level to 10 * Update build dependencies -- Gianfranco Costamagna <email address hidden> Thu, 06 Jul 2017 09:59:52 +0200
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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.5.2-1.dsc | 4.0 KiB | d2492373d42aeb5d8a2a0a4d8b95627e2391c36e01d122ea7c813c612f651fa3 |
| agda_2.5.2.orig.tar.gz | 1.2 MiB | d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 |
| agda_2.5.2-1.debian.tar.xz | 8.6 KiB | 9c8521addb30e2888beaed8ee7db9687bd6f516dbd9fd0f8680164cbed4f699e |
Available diffs
- diff from 2.5.1.1-4build2 (in Ubuntu) to 2.5.2-1 (751.8 KiB)
No changes file available.
