Publishing details

• Published on 2021-02-03

Changelog

coq-8.5rc1 (8.5~rc1-1~hirsute~ppa158) hirsute; urgency=medium

  * Initial release.

 -- Jason Gross <email address hidden>  Wed, 03 Feb 2021 12:54:39 -0500

Builds

• amd64

Package files

• coq-8.5rc1_8.5~rc1-1~hirsute~ppa158.debian.tar.xz (9.1 KiB)
• coq-8.5rc1_8.5~rc1-1~hirsute~ppa158.dsc (2.5 KiB)
• coq-8.5rc1_8.5~rc1.orig.tar.gz (5.2 MiB)