Publishing details

• Removal requested on 2023-11-13.
• Superseded on 2022-09-07 by agda - 2.6.2.2-1
• Published on 2022-04-26
• Copied from ubuntu impish in Primary Archive for Ubuntu

Changelog

agda (2.6.1-1build2.1) impish; urgency=medium

  * No-change rebuild for libffi soname change.

 -- Matthias Klose <email address hidden>  Sat, 11 Sep 2021 07:00:45 +0200

Builds

Package files

• agda-bin_2.6.1-1build2.1_amd64.deb (9.1 MiB)
• agda-bin_2.6.1-1build2.1_ppc64el.deb (13.7 MiB)
• agda-bin_2.6.1-1build2.1_riscv64.deb (15.0 MiB)
• agda-bin_2.6.1-1build2.1_s390x.deb (28.4 MiB)
• agda_2.6.1-1build2.1.debian.tar.xz (10.0 KiB)
• agda_2.6.1-1build2.1.dsc (4.2 KiB)
• agda_2.6.1-1build2.1_all.deb (4.0 KiB)
• agda_2.6.1.orig.tar.gz (2.5 MiB)
• elpa-agda2-mode_2.6.1-1build2.1_all.deb (45.1 KiB)
• libghc-agda-dev_2.6.1-1build2.1_amd64.deb (38.4 MiB)
• libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb (62.6 MiB)
• libghc-agda-dev_2.6.1-1build2.1_riscv64.deb (90.0 MiB)
• libghc-agda-dev_2.6.1-1build2.1_s390x.deb (65.5 MiB)
• libghc-agda-doc_2.6.1-1build2.1_all.deb (5.2 MiB)