Publishing details

• Published on 2021-02-03

Changelog

coq-8.5pl2 (8.5pl2-1~focal~ppa158) focal; urgency=medium

  * Initial release.

 -- Jason Gross <email address hidden>  Wed, 03 Feb 2021 13:08:04 -0500

Builds

• amd64

Package files

• coq-8.5pl2_8.5pl2-1~focal~ppa158.debian.tar.xz (10.3 KiB)
• coq-8.5pl2_8.5pl2-1~focal~ppa158.dsc (2.6 KiB)
• coq-8.5pl2_8.5pl2.orig.tar.gz (5.1 MiB)