Publishing details

• Published on 2021-02-03

Changelog

coq-8.5beta1 (8.5~beta1-1~bionic~ppa158) bionic; urgency=medium

  * Initial release.

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

Builds

• amd64
• i386

Package files

• coq-8.5beta1_8.5~beta1-1~bionic~ppa158.debian.tar.xz (9.6 KiB)
• coq-8.5beta1_8.5~beta1-1~bionic~ppa158.dsc (2.7 KiB)
• coq-8.5beta1_8.5~beta1.orig.tar.gz (5.1 MiB)