Ubuntu
agda package

agda 2.6.1-1build2 source package in Ubuntu

Changelog

agda (2.6.1-1build2) hirsute; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Thu, 29 Oct 2020 20:18:09 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Hirsute
Original maintainer:
Ubuntu Developers
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.1.orig.tar.gz 2.5 MiB 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129
agda_2.6.1-1build2.debian.tar.xz 9.9 KiB c8e574de00a2609282c82d3da2b27195b0add2067a4a734c67e39560112a5c77
agda_2.6.1-1build2.dsc 4.2 KiB 859d915167e6e657cd978fff639b7d4f65bd834e28aa9abf0ecff41163f3cc9a

Available diffs

View changes file

Binary packages built by this source

agda: No summary available for agda in ubuntu impish.

No description available for agda in ubuntu impish.

agda-bin: No summary available for agda-bin in ubuntu impish.

No description available for agda-bin in ubuntu impish.

elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu impish.

No description available for elpa-agda2-mode in ubuntu impish.

libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu impish.

No description available for libghc-agda-dev in ubuntu impish.

libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu hirsute.

No description available for libghc-agda-doc in ubuntu hirsute.