Publishing details

Changelog

coq (8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1) xenial; urgency=low

  * Auto build.

 -- Jason Gross <email address hidden>  Mon, 16 Sep 2019 12:04:27 +0000

Available diffs

Builds

Package files

No files published for this package.