agda 2.4.2.2-4 source package in Ubuntu
Changelog
agda (2.4.2.2-4) unstable; urgency=medium
* [d59dba4] Revert modification of upstream source in
a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
* [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
#793194)
-- Iain Lane <email address hidden> Tue, 04 Aug 2015 14:46:23 +0100
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Wily
- 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.orig.tar.gz | 940.7 KiB | 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 |
| agda_2.4.2.2-4.debian.tar.xz | 8.6 KiB | 63f6e1b5642a2cc3196e213bc092d877da3ad8829abf73a1b1a9f41804657c32 |
| agda_2.4.2.2-4.dsc | 3.5 KiB | 63f82dc249f57468aa1366e5ac64507842a281a85db87209ed74e680a1ff3ab4 |
Available diffs
- diff from 2.4.2.2-3 (in Debian) to 2.4.2.2-4 (1.0 KiB)
- diff from 2.4.2.2-3build1 to 2.4.2.2-4 (1.1 KiB)
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.
