agda 2.2.6-6 source package in Debian
Changelog
agda (2.2.6-6) unstable; urgency=low * Fix FTBFS by fixing zlib doc package name. (Closes: #577892) * Convert to 3.0 (quilt) -- Joachim Breitner <email address hidden> Fri, 16 Apr 2010 11:43:24 +0200
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Squeeze
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.2.6-6.dsc | 2.2 KiB | e65b8353fa07932d1719fd7159a7df2e24c688710571794fdb545062fc1be52e |
agda_2.2.6.orig.tar.gz | 414.4 KiB | 19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e |
agda_2.2.6-6.debian.tar.gz | 5.1 KiB | 57b5407741d91c08c5b4e624c4481ea09aa0b838bb3af7171a0dc09eaf8ab161 |
No changes file available.