Publishing details

• Published on 2023-10-24
• Copied from anything by xiewei
• Originally uploaded to openkylin yangtze in Primary Archive for openKylin

Changelog

agda-stdlib (1.1-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

Built packages

• agda-stdlib standard library for Agda

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

Package files

• agda-stdlib-doc_1.1-ok1_all.deb (1.8 MiB)
• agda-stdlib_1.1-ok1.debian.tar.xz (3.2 KiB)
• agda-stdlib_1.1-ok1.dsc (1.9 KiB)
• agda-stdlib_1.1-ok1_all.deb (46.5 MiB)
• agda-stdlib_1.1.orig.tar.gz (556.7 KiB)