agda 2.3.0.1-2 source package in Debian
Changelog
agda (2.3.0.1-2) unstable; urgency=low * New patch: Extend mtl dependency -- Joachim Breitner <email address hidden> Fri, 25 May 2012 22:58:34 +0200
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 | |
---|---|---|---|---|
Wheezy | release | main | haskell |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.3.0.1-2.dsc | 2.3 KiB | ea45e8d26107d21a0cf15e36d8b4e1271bded9d2bfd79b2c8ced5fef91fee2de |
agda_2.3.0.1.orig.tar.gz | 598.0 KiB | 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 |
agda_2.3.0.1-2.debian.tar.gz | 6.7 KiB | f418b37b1a1385f5b537e58ededfa32b585662858ee54bd4ca4d481ffd2dbc21 |
Available diffs
No changes file available.