Publishing details

Changelog

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

  * Auto build.

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

Available diffs

Builds

Package files

No files published for this package.