agda 2.5.2-1 source package in Ubuntu

Changelog

agda (2.5.2-1) unstable; urgency=medium

  * New upstream release
  * Team upload
  * Drop all patches, upstream
  * Bump std-version to 4.0.0
  * Bump compat level to 10
  * Update build dependencies

 -- Gianfranco Costamagna <email address hidden>  Thu, 06 Jul 2017 09:59:52 +0200

Upload details

Uploaded by:
Debian Haskell Group on 2017-07-07
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda_2.5.2-1.dsc 4.0 KiB d2492373d42aeb5d8a2a0a4d8b95627e2391c36e01d122ea7c813c612f651fa3
agda_2.5.2.orig.tar.gz 1.2 MiB d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439
agda_2.5.2-1.debian.tar.xz 8.6 KiB 9c8521addb30e2888beaed8ee7db9687bd6f516dbd9fd0f8680164cbed4f699e

No changes file available.

Binary packages built by this source