Publishing details

• Published on 2021-02-03

Changelog

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

  * Initial release.

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

Builds

• amd64

Package files

• coq-8.5beta3_8.5~beta3-1~focal~ppa158.debian.tar.xz (10.0 KiB)
• coq-8.5beta3_8.5~beta3-1~focal~ppa158.dsc (2.7 KiB)
• coq-8.5beta3_8.5~beta3.orig.tar.gz (5.2 MiB)