Debian
agda-stdlib package

agda-stdlib 0.12-1 source package in Debian

Changelog

agda-stdlib (0.12-1) unstable; urgency=medium

  * Package new upstream release.
  * Bump relationships with agda to >= 2.5.1, << 2.6.0.
  * Fix override_dh_auto_clean to actually delete GenerateEverything{,.hi,.o}.
  * Clean target also deletes Everything.agda.
  * Add myself as an uploader.
  * Update Vcs-* URIs.
  * Bump standards version to 3.9.8 (no changes required).

 -- Sean Whitton <email address hidden>  Wed, 15 Jun 2016 11:27:50 +0900

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Sid
Original maintainer:
Iain Lane
Architectures:
all
Section:
libs
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
agda-stdlib_0.12-1.dsc 2.1 KiB cfb6d33b0eec3aa3cfc171a9299ec2c474775623c2592c47a78fd947c8bfb331
agda-stdlib_0.12.orig.tar.gz 248.1 KiB 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87
agda-stdlib_0.12-1.debian.tar.xz 4.7 KiB b9f3e78382b4ae8b00c117748cd7460a5630e9a255dadb56aa62105a29107fe3

No changes file available.

Binary packages built by this source