Publishing details

• Published on 2024-03-25

Changelog

agda (2.6.3-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Mar 2024 14:00:07 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

Built packages

• agda dependently typed functional programming language

• agda-bin commandline interface to Agda

• elpa-agda2-mode dependently typed functional programming language — emacs mode

• libghc-agda-dev dependently typed functional programming language

• libghc-agda-doc dependently typed functional programming language; documentation

Package files

• agda-bin_2.6.3-ok1_amd64.deb (9.8 MiB)
• agda-bin_2.6.3-ok1_arm64.deb (9.8 MiB)
• agda-bin_2.6.3-ok1_loong64.deb (11.9 MiB)
• agda_2.6.3-ok1.debian.tar.xz (6.3 KiB)
• agda_2.6.3-ok1.dsc (4.6 KiB)
• agda_2.6.3-ok1_all.deb (3.1 KiB)
• agda_2.6.3.orig.tar.gz (1.7 MiB)
• elpa-agda2-mode_2.6.3-ok1_all.deb (41.3 KiB)
• libghc-agda-dev_2.6.3-ok1_amd64.deb (22.5 MiB)
• libghc-agda-dev_2.6.3-ok1_arm64.deb (24.3 MiB)
• libghc-agda-dev_2.6.3-ok1_loong64.deb (38.0 MiB)
• libghc-agda-doc_2.6.3-ok1_all.deb (6.7 MiB)