dsc_fields:
Architecture: all
Autobuild: 'yes'
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Build-Depends: debhelper-compat (= 13), dune, sphinx (>= 4.5.0)
Build-Depends-Indep: camlp5, fig2dev, fonts-freefont-otf, hevea (>= 1.05), imagemagick,
latexmk, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, ocaml-native-compilers,
ocaml-nox, python3-antlr4, python3-bs4, python3-pexpect, python3-sphinx-rtd-theme,
python3-sphinxcontrib.bibtex, texlive, texlive-base, texlive-fonts-recommended,
texlive-humanities, texlive-lang-french, texlive-latex-extra, texlive-science,
texlive-xetex
Checksums-Sha1:
- name: coq-doc_8.16.1.orig.tar.gz
sha1: 970018779156e04da3b7fa1817a9ebac88de6cf7
size: '7401345'
- name: coq-doc_8.16.1-1.debian.tar.xz
sha1: 03ca68e543de5af607bcd3166caed6f6349d5d02
size: '7820'
Checksums-Sha256:
- name: coq-doc_8.16.1.orig.tar.gz
sha256: 583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b
size: '7401345'
- name: coq-doc_8.16.1-1.debian.tar.xz
sha256: 9452d2c8da75fbd7bea82f5f02ec85e4de9f2e5e8d50aeb376569dae5bcc6dd5
size: '7820'
Files:
- md5sum: 4d384dbf8979c3a123d732eac4e261b0
name: coq-doc_8.16.1.orig.tar.gz
size: '7401345'
- md5sum: 35d9605162e8a37b41a5aae3d8947b1b
name: coq-doc_8.16.1-1.debian.tar.xz
size: '7820'
Format: 3.0 (quilt)
Homepage: http://coq.inria.fr/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
coq-doc deb non-free/doc optional arch=all
coq-doc-html deb non-free/doc optional arch=all
coq-doc-pdf deb non-free/doc optional arch=all
Source: coq-doc
Standards-Version: 4.6.1
Uploaders: "Samuel Mimram <smimram@debian.org>, St\xE9phane Glondu <glondu@debian.org>,\
\ Hendrik Tews <hendrik@askra.de>, Julien Puydt <jpuydt@debian.org>"
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-doc
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-doc.git
Version: 8.16.1-1
name: coq-doc
type: dpkg
version: 8.16.1-1