Publishing details

Built by recipe coq-8.7-daily for Jason Gross
Published on 2017-07-20

Changelog

coq (8.7~git~201707201632+18172-0~daily304~ubuntu16.10.1) yakkety; urgency=low

  * Auto build.

 -- Jason Gross <email address hidden>  Thu, 20 Jul 2017 16:32:16 +0000

Available diffs

diff from 8.7~git~201707191633+18171-0~daily304~ubuntu16.10.1 to 8.7~git~201707201632+18172-0~daily304~ubuntu16.10.1 (1.2 KiB)

Builds

amd64
i386

Package files

coq_8.7~git~201707201632+18172-0~daily304~ubuntu16.10.1.dsc (1.4 KiB)
coq_8.7~git~201707201632+18172-0~daily304~ubuntu16.10.1.tar.xz (4.0 MiB)