Ubuntu
agda-stdlib package

agda-stdlib 0.7-1 source package in Ubuntu

Changelog

agda-stdlib (0.7-1) experimental; urgency=low


  * [6d52289] Imported Upstream version 0.7
  * [54104d0] Update Depends and Build-Depends for this version, compatible
    with Agda 2.3.2
  * [b3ddce4] No need for the .install file to be executable (thanks lintian)
  * [a9a6cb7] Standards-Version → 3.9.4, no changes required

 -- Iain Lane <email address hidden>  Wed, 10 Apr 2013 10:30:20 +0100

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Experimental
Original maintainer:
Iain Lane
Architectures:
all
Section:
libs
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Raring: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
agda-stdlib_0.7-1.dsc 2.0 KiB 0d0e17588352cc2d5f63fe2e90cbe68a5f47e52f844fa88a90b3c612b2713cf9
agda-stdlib_0.7.orig.tar.gz 221.1 KiB 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa
agda-stdlib_0.7-1.debian.tar.gz 4.3 KiB eb98fc6eee622afed455094c710294ec0332400c7006e73914327f1097093524

Available diffs

No changes file available.

Binary packages built by this source

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

No description available for agda-stdlib in ubuntu saucy.

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

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