Publishing details

• Published on 2021-02-03

Changelog

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

  * Initial release.

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

Builds

• amd64

Package files

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