Publishing details

Published on 2021-10-15
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

agda-stdlib (1.3-2) unstable; urgency=medium

  * Also ship again agdai files (Closes: #966650)
    thanks Helmut Grohne for the report!
  * Bump std-version to 4.5.0

 -- Gianfranco Costamagna <email address hidden>  Sat, 01 Aug 2020 10:29:35 +0200

Available diffs

diff from 1.1-1 to 1.3-2 (362.2 KiB)
diff from 1.3-1 to 1.3-2 (612 bytes)

Builds

Built packages

agda-stdlib standard library for Agda

agda-stdlib-doc standard library for Agda — documentation

Package files

agda-stdlib-doc_1.3-2_all.deb (2.3 MiB)
agda-stdlib_1.3-2.debian.tar.xz (5.5 KiB)
agda-stdlib_1.3-2.dsc (2.1 KiB)
agda-stdlib_1.3-2_all.deb (69.8 MiB)
agda-stdlib_1.3.orig.tar.gz (733.8 KiB)