Ubuntu
agda package

agda 2.6.3-1 source package in Ubuntu

Changelog

agda (2.6.3-1) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * New upstream release

 -- Ilias Tsitsimpis <email address hidden>  Fri, 13 Oct 2023 17:57:46 +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

Downloads

File Size SHA-256 Checksum
agda_2.6.3-1.dsc 4.8 KiB 37b477db081fcebf1080901703f2cf2d38dcbfe23986808bff1589f915477ec6
agda_2.6.3.orig.tar.gz 1.7 MiB beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016
agda_2.6.3-1.debian.tar.xz 11.3 KiB a295ed8cded8ced795c0c71abd7abc78446d94faca9c61177a00daa4ad1ed631

No changes file available.

Binary packages built by this source