agda 2.3.2-4 source package in Ubuntu
Changelog
agda (2.3.2-4) unstable; urgency=low
* [3d77fff] Build-Depend on ghc-ghci; we require this due to Template
Haskell
-- Iain Lane <email address hidden> Wed, 12 Jun 2013 10:44:41 +0100
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-4.dsc | 3.2 KiB | 3e6839aca4946ab327b546dcb03f063c7dfb1628acd88026a124f16a3c95f9d7 |
| agda_2.3.2.orig.tar.gz | 709.4 KiB | d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 |
| agda_2.3.2-4.debian.tar.gz | 7.2 KiB | 94aeea5d3af5bee983e6f0da29d09c764c2dd085a4b7bade7ec0be8475e3e3d6 |
Available diffs
- diff from 2.3.2-3 to 2.3.2-4 (463 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.
