Publishing details

• Published on 2023-08-16

Changelog

coq-8.17.1 (8.17.1-1~jammy~ppa200) jammy; urgency=medium

  * Initial release.

 -- Jason Gross <email address hidden>  Tue, 15 Aug 2023 22:29:29 -0700

Builds

• amd64

Package files

• coq-8.17.1_8.17.1-1~jammy~ppa200.debian.tar.xz (10.6 KiB)
• coq-8.17.1_8.17.1-1~jammy~ppa200.dsc (2.7 KiB)
• coq-8.17.1_8.17.1.orig.tar.gz (7.3 MiB)