Ubuntu
agda-stdlib package

agda-stdlib 0.14-1 source package in Ubuntu

Changelog

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

  [ Gianfranco Costamagna ]
  * New upstream release (Closes: #881307)
  * Bump std-version to 4.1.1, set priority to optional

  [ Helmut Grohne ]
  * Team upload
  * Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307)
  * Bump agda-bin Breaks due to agdai incompatibility.
  * Tighten up agda relation ships to detect incompatibility next time.

 -- Gianfranco Costamagna <email address hidden>  Sun, 26 Nov 2017 11:28:04 +0100

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
Bionic release universe libs

Builds

Bionic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
agda-stdlib_0.14-1.dsc 2.1 KiB 0ee4ef16a11ee7170d31d0ac4d34300ab6b2d52beac992fee48a9fed58da9853
agda-stdlib_0.14.orig.tar.gz 278.7 KiB 7237c4039c61542bc010fd6db5da27dd6548c4ca5cde0d5d84b64f2b1a643b09
agda-stdlib_0.14-1.debian.tar.xz 5.1 KiB b7014f1b6fb1806d8994c0f8ef653acc39fee043d8911db3b772c5d498881578

Available diffs

No changes file available.

Binary packages built by this source

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

No description available for agda-stdlib in ubuntu disco.

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

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