Ubuntu
agda-stdlib package

agda-stdlib 0.12-2build3 source package in Ubuntu

Changelog

agda-stdlib (0.12-2build3) artful; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 21 Jun 2017 18:53:58 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Artful
Original maintainer:
Iain Lane
Architectures:
all
Section:
libs
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Artful: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
agda-stdlib_0.12.orig.tar.gz 248.1 KiB 2fddbc6d08e74c6205075704f40c550fc40137dee44e6b22b2e08ddee1410e87
agda-stdlib_0.12-2build3.debian.tar.xz 5.0 KiB 22c24f257d4349cd927da1463077fd02c0af8defa05fc41fc5f1104f04decd28
agda-stdlib_0.12-2build3.dsc 2.1 KiB 2c896119fae45b794d9944711f7c9110474456017005dc37a257efb8b8f57b59

Available diffs

View changes file

Binary packages built by this source

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

No description available for agda-stdlib in ubuntu artful.

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

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