Ubuntu
agda package

agda 2.3.0.1-2build1 source package in Ubuntu

Changelog

agda (2.3.0.1-2build1) quantal; urgency=low

  * No-change rebuild for GHC 7.4.2
 -- Iain Lane <email address hidden>   Mon, 27 Aug 2012 12:15:30 +0000

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Quantal
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda_2.3.0.1.orig.tar.gz 598.0 KiB 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338
agda_2.3.0.1-2build1.debian.tar.gz 6.8 KiB 0c6a44d74d198e73ef5e66f8c0a7421d1db8e1fb60a1863fb7a50f3210e131ac
agda_2.3.0.1-2build1.dsc 3.0 KiB fbeb343d4fe65f7ceda1f4d38258bdf05b312d12c3242bf63267659bae171825

View changes file

Binary packages built by this source

agda: No summary available for agda in ubuntu quantal.

No description available for agda in ubuntu quantal.

agda-mode: No summary available for agda-mode in ubuntu raring.

No description available for agda-mode in ubuntu raring.

libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu quantal.

No description available for libghc-agda-dev in ubuntu quantal.

libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu quantal.

No description available for libghc-agda-doc in ubuntu quantal.