agda 2.3.2-3 source package in Ubuntu
Changelog
agda (2.3.2-3) unstable; urgency=low * Clean up build dependencies -- Joachim Breitner <email address hidden> Wed, 29 May 2013 14:06:03 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.3.2-3.dsc | 2.6 KiB | 4aadf0d755d9bdd1015f5ae699636d9d165345129159b8f53417a074a985522f |
agda_2.3.2.orig.tar.gz | 709.4 KiB | d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 |
agda_2.3.2-3.debian.tar.gz | 7.3 KiB | 299ce1f5ae47782751a63113d4465845993b5dee266be2e11cccd7273a730218 |
Available diffs
- diff from 2.3.2-1build1 (in Ubuntu) to 2.3.2-3 (1.7 KiB)
- diff from 2.3.2-2 to 2.3.2-3 (801 bytes)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu saucy.
No description available for agda in ubuntu saucy.
- agda-bin: No summary available for agda-bin in ubuntu saucy.
No description available for agda-bin in ubuntu saucy.
- agda-mode: No summary available for agda-mode in ubuntu saucy.
No description available for agda-mode in ubuntu saucy.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu saucy.
No description available for libghc-agda-dev in ubuntu saucy.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu saucy.
No description available for libghc-agda-doc in ubuntu saucy.