Publishing details

Published on 2022-03-17
Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

coq-doc (8.15.0-3) unstable; urgency=medium

  * Fix b-deps again (Closes: #1005920).

 -- Julien Puydt <email address hidden>  Tue, 22 Feb 2022 14:02:25 +0100

Available diffs

diff from 8.6-1 to 8.15.0-3 (7.8 MiB)
diff from 8.15.0-2 to 8.15.0-3 (553 bytes)

Builds

amd64

Built packages

coq-doc documentation for Coq

coq-doc-html documentation for Coq in html format

coq-doc-pdf documentation for Coq in pdf format

Package files

coq-doc-html_8.15.0-3_all.deb (1.3 MiB)
coq-doc-pdf_8.15.0-3_all.deb (3.9 MiB)
coq-doc_8.15.0-3.debian.tar.xz (7.4 KiB)
coq-doc_8.15.0-3.dsc (2.5 KiB)
coq-doc_8.15.0-3_all.deb (3.9 KiB)
coq-doc_8.15.0.orig.tar.gz (6.9 MiB)