Ubuntu
agda-stdlib package

agda-stdlib 1.3-1 source package in Ubuntu

Changelog

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

  * Team upload.
  * New upstream version 1.3
  * Fix watch file
  * Bump agda dependency bounds
  * Bump copyright years

 -- Gianfranco Costamagna <email address hidden>  Fri, 31 Jul 2020 13:31:04 +0200

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

Groovy: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
agda-stdlib_1.3-1.dsc 2.1 KiB 0dada22efc63439934694fd24f0f888f855349678d8e2fee89931030f7fe64bc
agda-stdlib_1.3.orig.tar.gz 733.8 KiB 573036cc097ed00a6d7c81c5af8b5b2350a94a3c6b9af03b5ce459cf269388ca
agda-stdlib_1.3-1.debian.tar.xz 5.4 KiB 6c7c90af1a4430e996253484b94596a7101a6a374657a2aa691321d0897ce6de

No changes file available.

Binary packages built by this source

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

No description available for agda-stdlib in ubuntu groovy.

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

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