buildinfo.debian.net
Sources
Binaries
coq (8.6-5)
(source package)
Binaries
coq
coqide
coq-theories
libcoq-ocaml
libcoq-ocaml-dev
Versions seen
8.6-5+b1
.buildinfo files:
coq (8.6-5)_8.6-5+b1_armhf.buildinfo