agda 2.3.2.2-1 source package in Debian
Changelog
agda (2.3.2.2-1) unstable; urgency=low * [244f29d] Use new watch file template * [16a3f05] Imported Upstream version 2.3.2.2 * [bdb8574] Update BDs to match cabal file * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream in this release -- Iain Lane <email address hidden> Wed, 06 Nov 2013 09:59:36 +0000
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.3.2.2-1.dsc | 3.2 KiB | a19d3e03c38794128c602822e48761a7429455e045dfe243afe24b250eca3e1c |
agda_2.3.2.2.orig.tar.gz | 1.9 MiB | 0c8310f4067e4daac42d7233e8f245d216763186071a96ccc3d7e0edc5cb227f |
agda_2.3.2.2-1.debian.tar.gz | 7.2 KiB | 3b02726c48e912ac727ef8dbac044033fd5269068592f14fb66587ee1b3faa46 |
Available diffs
No changes file available.