dsc_fields:
Architecture: all
Autobuild: 'yes'
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
Build-Depends-Indep: fig2dev, fonts-freefont-otf, hevea, imagemagick, latexmk, libzarith-ocaml-dev,
node-mathjax-full, ocaml-findlib, libfindlib-ocaml-dev, ocaml-native-compilers,
ocaml, 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.19.1.orig.tar.gz
sha1: c10750900544adabc9c6b5a1cbf5e908d1ace5c2
size: '7675945'
- name: coq-doc_8.19.1-2.debian.tar.xz
sha1: e97f3930ac9d0ea6dae5df4449dae50032f8444d
size: '8128'
Checksums-Sha256:
- name: coq-doc_8.19.1.orig.tar.gz
sha256: 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674
size: '7675945'
- name: coq-doc_8.19.1-2.debian.tar.xz
sha256: c1e8e6468aa88c002add62bc2b2ad6e01af5b2743d9af74145400c97b0524dd9
size: '8128'
Dgit: 8c5a9bc0e60b54c14db8562e8f98513d678f0a14 debian archive/debian/8.19.1-2 https://git.dgit.debian.org/coq-doc
Files:
- md5sum: 13d2793fc6413aac5168822313e4864e
name: coq-doc_8.19.1.orig.tar.gz
size: '7675945'
- md5sum: e06217d20ef2858d852e885541971a11
name: coq-doc_8.19.1-2.debian.tar.xz
size: '8128'
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.2
Uploaders: "St\xE9phane Glondu <glondu@debian.org>, 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.19.1-2
name: coq-doc
type: dpkg
version: 8.19.1-2