dsc_fields:
Architecture: any
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Build-Depends: debhelper-compat (= 13), dh-coq, dh-exec, dh-ocaml, dh-python, ocaml-dune,
ocaml, ocaml-native-compilers, ocaml-findlib (>= 1.8.0), 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.20.0+dfsg.orig.tar.xz
sha1: da4396e9768c936d4738de3cf8ca5a7ce74634de
size: '5012820'
- name: coq_8.20.0+dfsg-1.debian.tar.xz
sha1: ec3b3ceb2c7ef6593e44b5fdea09c9c8bd0551ef
size: '30196'
Checksums-Sha256:
- name: coq_8.20.0+dfsg.orig.tar.xz
sha256: 6c0f7bcf705a4c62a11a8445326949587606c5e4bb32582dcf5c3fc5478677bb
size: '5012820'
- name: coq_8.20.0+dfsg-1.debian.tar.xz
sha256: 22b28f6091524c62709bbf7e008dc2a4d4eaf24bf926c577f37a1b9677864ba2
size: '30196'
Files:
- md5sum: 7f8934a74ae494a3049e1da65916174e
name: coq_8.20.0+dfsg.orig.tar.xz
size: '5012820'
- md5sum: 3ec7f17ef2079cb2e4a99430bc7d7bb3
name: coq_8.20.0+dfsg-1.debian.tar.xz
size: '30196'
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.2
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.20.0+dfsg-1
name: coq
type: dpkg
version: 8.20.0+dfsg-1