agda 2.2.10-3 source package in Debian
Changelog
agda (2.2.10-3) unstable; urgency=low * Extend haskell-src-exts dependency range to include 0.11.* -- Joachim Breitner <email address hidden> Fri, 17 Jun 2011 10:38:21 +0200
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- 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.10-3.dsc | 2.4 KiB | a7cadc9763d15acd48988b283e7231c3160fa4dc92b33dedaacd6dd76c0173c9 |
agda_2.2.10.orig.tar.gz | 505.6 KiB | 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae |
agda_2.2.10-3.debian.tar.gz | 7.4 KiB | 415364d12a094bd908d14d38230e48bc5e8c24dd439d1de656978d4933ad044f |
No changes file available.