Debian
agda package

agda 2.2.10-1 source package in Debian

Changelog

agda (2.2.10-1) unstable; urgency=low
  * [60c4b8a] Imported Upstream version 2.2.10  * [81c6857] Add haskell-src-exts BD  * [d0ce959] Add QuickCheck BDs  * [5c875b0] Update short descriptions to reflect best practice  * [705223c] d/copyright: Update copyright years  * [ee8a4bc] GHC6 → GHC, for GHC 7 transition  * [12d4e49] Standards-Version bump to 3.9.2, no changes required  * [9244cc3] Add 'agda' meta package  * [c28c44c] Relax BD on src-exts  * [86be090] Backport upstream patch to add syb-0.3 compatibility  * [828c999] Lexer: Compatibility with the new GHC  * [db55ca5] Clean up some autogenerated files -- Iain Lane <email address hidden>  Thu, 19 May 2011 13:43:17 +0100

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
agda_2.2.10-1.dsc 3.1 KiB 0cab12aea559f51818601e8d6c99892ce033b8c83a254d078deb38b998c6ffd7
agda_2.2.10.orig.tar.gz 505.6 KiB 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae
agda_2.2.10-1.debian.tar.gz 7.0 KiB 7f86a9ed0f70187a7877d5ef938b5d69c9eb7d276774b8ecae0f7a167702e32c

No changes file available.

Binary packages built by this source