Ubuntu
agda package

agda 2.3.2-2 source package in Ubuntu

Changelog

agda (2.3.2-2) unstable; urgency=low


  * Upload to unstable
  * [0faee65] Use compat 9
  * [02dba24] Standards Version → 3.9.4
  * [bd2a43f] Use common substvars for description blurbs.
  * [06ddb90] Remove obsolete DM-Upload-Allowed field

 -- Iain Lane <email address hidden>  Mon, 27 May 2013 19:13:14 +0100

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
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.2-2.dsc 3.3 KiB 0a8cb5be8166187bd6ba2b5a00bbf2097f62ef4e07faf7217fda8cd52e63bea4
agda_2.3.2.orig.tar.gz 709.4 KiB d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6
agda_2.3.2-2.debian.tar.gz 7.2 KiB 9b280d11aa5fd26312957c82ec6c29328c619aa5b22fdbc51fe35117fd8bac5f

No changes file available.

Binary packages built by this source

agda: No summary available for agda in ubuntu saucy.

No description available for agda in ubuntu saucy.

agda-bin: No summary available for agda-bin in ubuntu saucy.

No description available for agda-bin in ubuntu saucy.

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

No description available for agda-mode in ubuntu saucy.

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

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

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

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