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 on 2015-08-04
Uploaded to:
Wily
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket 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

View changes file

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.