Publishing details

Removed from disk on 2019-09-18.
Removal requested on 2019-09-18.
Superseded on 2019-09-17 by coq - 8.10~git~201909170730+20477-0~daily322-6250503~ubuntu19.10.1
Built by recipe coq-8.10-daily for Jason Gross
Published on 2019-09-16

Changelog

coq (8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1) eoan; urgency=low

  * Auto build.

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

Available diffs

diff from 8.10~git~201909150732+20476-0~daily321-ef67b05~ubuntu19.10.1 to 8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1 (949 bytes)

Builds

amd64
i386

Package files

No files published for this package.