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.20.0.orig.tar.gz
sha1: c19686bcd38c1dc74e1ad785261c2e8e0b11bb91
size: '7839432'
- name: coq-doc_8.20.0-1.debian.tar.xz
sha1: dadb47d184d0e5ddda1dc4f1dcf039f088f09da0
size: '8136'
Checksums-Sha256:
- name: coq-doc_8.20.0.orig.tar.gz
sha256: b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914
size: '7839432'
- name: coq-doc_8.20.0-1.debian.tar.xz
sha256: 9d443605753bfbd93c1d82c977c53804a771bfcd8a92a69b488338253c4140cb
size: '8136'
Files:
- md5sum: 66e57ea55275903bef74d5bf36fbe0f1
name: coq-doc_8.20.0.orig.tar.gz
size: '7839432'
- md5sum: f15568c7e81387a07859a67ece4868f1
name: coq-doc_8.20.0-1.debian.tar.xz
size: '8136'
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.7.0
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.20.0-1
name: coq-doc
type: dpkg
version: 8.20.0-1