dsc_fields:
Architecture: any
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Build-Depends: bash (>= 5.0), debhelper-compat (= 13), dh-coq, dh-exec, dh-ocaml
(>= 0.9.5~), dh-python, ocaml-dune, ocaml-nox (>= 4.05), ocaml-native-compilers,
ocaml-findlib (>= 1.8.0), camlp5 (>= 6.14), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev,
liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev,
libzarith-ocaml-dev, python3, rsync, tex-common
Checksums-Sha1:
- name: coq_8.16.1+dfsg.orig.tar.xz
sha1: 472059a6b99fafeacd37a08559bc02db30515617
size: '4717668'
- name: coq_8.16.1+dfsg-1.debian.tar.xz
sha1: 42cf3fc84f6d6ec544f3490df8baa202a72ba8b7
size: '33236'
Checksums-Sha256:
- name: coq_8.16.1+dfsg.orig.tar.xz
sha256: d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3
size: '4717668'
- name: coq_8.16.1+dfsg-1.debian.tar.xz
sha256: 9a9cae6934a209c895eeb808e503eaf001aa7fe0385b9f54313d7b08bb24cdab
size: '33236'
Files:
- md5sum: 79d8714e248357dca8caa0b3de7f5f22
name: coq_8.16.1+dfsg.orig.tar.xz
size: '4717668'
- md5sum: dd0067c115de71a799868e942a4bd615
name: coq_8.16.1+dfsg-1.debian.tar.xz
size: '33236'
Format: 3.0 (quilt)
Homepage: http://coq.inria.fr/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
coq deb math optional arch=any
coqide deb math optional arch=any
libcoq-core-ocaml deb ocaml optional arch=any
libcoq-core-ocaml-dev deb ocaml optional arch=any
libcoq-stdlib deb math optional arch=any
Source: coq
Standards-Version: 4.6.1
Testsuite: autopkgtest
Uploaders: "Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>,\
\ Ralf Treinen <treinen@debian.org>, St\xE9phane Glondu <glondu@debian.org>"
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Version: 8.16.1+dfsg-1
name: coq
type: dpkg
version: 8.16.1+dfsg-1