Publishing details

• Published on 2023-08-16

Changelog

coq-8.17.0 (8.17.0-1~lunar~ppa200) lunar; urgency=medium

  * Initial release.

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

Builds

• amd64

Package files

• coq-8.17.0_8.17.0-1~lunar~ppa200.debian.tar.xz (10.6 KiB)
• coq-8.17.0_8.17.0-1~lunar~ppa200.dsc (2.7 KiB)
• coq-8.17.0_8.17.0.orig.tar.gz (7.3 MiB)