agda 2.2.6-7build1 source package in Ubuntu
Changelog
agda (2.2.6-7build1) maverick; urgency=low * No change rebuild to build against new quickcheck -- Iain Lane <email address hidden> Wed, 26 May 2010 09:08:19 +0100
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Maverick
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| agda_2.2.6.orig.tar.gz | 414.4 KiB | 19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e |
| agda_2.2.6-7build1.debian.tar.gz | 5.2 KiB | d296082f56733774f50c5bfc865f79cd39aab8a0c631857e0dc313106e525fff |
| agda_2.2.6-7build1.dsc | 2.3 KiB | e38c9353fa450625f09d1988250ebe020756dac9530fce973d8651985114f9d8 |
Available diffs
- diff from 2.2.6-7 to 2.2.6-7build1 (339 bytes)
Binary packages built by this source
- agda-mode: No summary available for agda-mode in ubuntu natty.
No description available for agda-mode in ubuntu natty.
- libghc6-agda-dev: No summary available for libghc6-agda-dev in ubuntu maverick.
No description available for libghc6-agda-dev in ubuntu maverick.
- libghc6-agda-doc: No summary available for libghc6-agda-doc in ubuntu natty.
No description available for libghc6-agda-doc in ubuntu natty.
