Publishing details

• Published on 2024-03-25

Changelog

agda-stdlib (1.7.3-ok1) nile; urgency=low

  * Build for openKylin.

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

Builds

• amd64

Built packages

• agda-stdlib standard library for Agda

• agda-stdlib-doc standard library for Agda — documentation

Package files

• agda-stdlib-doc_1.7.3-ok1_all.deb (2.9 MiB)
• agda-stdlib_1.7.3-ok1.debian.tar.xz (3.2 KiB)
• agda-stdlib_1.7.3-ok1.dsc (1.9 KiB)
• agda-stdlib_1.7.3-ok1_all.deb (112.4 MiB)
• agda-stdlib_1.7.3.orig.tar.gz (920.0 KiB)