Debian
agda package

agda 2.6.1-1 source package in Debian

Changelog

agda (2.6.1-1) unstable; urgency=medium

  [ Sean Whitton ]
  * New upstream release

  [ Ilias Tsitsimpis ]
  * Refresh patches
  * Build-dep on newer versions of dh-elpa (Closes: #935635)
  * Drop agda-mode transitional package (Closes: #939136)
  * Add lighc-agda-dev as dependency of agda-bin (Closes: #907521)

 -- Ilias Tsitsimpis <email address hidden>  Wed, 29 Jul 2020 18:34:44 +0300

Upload details

Uploaded by:
Debian Haskell Group
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
Bullseye release main haskell

Builds

Downloads

File Size SHA-256 Checksum
agda_2.6.1-1.dsc 4.1 KiB 01ef3804bacf180da3aec8e48db09569f3d16b41c01673c15caf94b79988c8fd
agda_2.6.1.orig.tar.gz 2.5 MiB 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129
agda_2.6.1-1.debian.tar.xz 9.8 KiB 2a48368bbd5171d59707fa47006ccb602eb77a585c4a513cc0cb6e25240017f5

No changes file available.

Binary packages built by this source