agda 2.4.2.2-3 source package in Ubuntu
Changelog
agda (2.4.2.2-3) unstable; urgency=medium * Fix dependency on hashtables -- Joachim Breitner <email address hidden> Wed, 01 Jul 2015 19:26:22 +0200
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
agda_2.4.2.2-3.dsc | 3.5 KiB | 0cf7aef2f9585b24e0d979524cf0b13fa0527422c58cbe17b979d3483c8a7992 |
agda_2.4.2.2.orig.tar.gz | 940.7 KiB | 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 |
agda_2.4.2.2-3.debian.tar.xz | 8.2 KiB | 77f42ba98a4540b23089a78b8f0bfec2e9d90742e8c6faaaa77b858eb9cd52d2 |
Available diffs
- diff from 2.4.2.2-2 to 2.4.2.2-3 (1.3 KiB)
No changes file available.
Binary packages built by this source
- agda: No summary available for agda in ubuntu wily.
No description available for agda in ubuntu wily.
- agda-bin: No summary available for agda-bin in ubuntu wily.
No description available for agda-bin in ubuntu wily.
- agda-mode: No summary available for agda-mode in ubuntu wily.
No description available for agda-mode in ubuntu wily.
- libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu wily.
No description available for libghc-agda-dev in ubuntu wily.
- libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu wily.
No description available for libghc-agda-doc in ubuntu wily.