dsc_fields:
Architecture: any
Binary: libcoq-unicoq
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-unicoq_1.6-8.20.orig.tar.gz
sha1: 053e09086d85d7561790794982e17e4aa411c4b7
size: '593674'
- name: coq-unicoq_1.6-8.20-1.debian.tar.xz
sha1: c2028714199f0622c612e437a8a10264b084b52d
size: '2720'
Checksums-Sha256:
- name: coq-unicoq_1.6-8.20.orig.tar.gz
sha256: df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d
size: '593674'
- name: coq-unicoq_1.6-8.20-1.debian.tar.xz
sha256: c58299af6e9dfaead46567d4b1bbb65d3c464a9a28afcfc1d4c73e89da8d0e5e
size: '2720'
Files:
- md5sum: 1c2a90a1a5c2652e77472d1498520367
name: coq-unicoq_1.6-8.20.orig.tar.gz
size: '593674'
- md5sum: af608f57b7230f12dec2608795645eac
name: coq-unicoq_1.6-8.20-1.debian.tar.xz
size: '2720'
Format: 3.0 (quilt)
Homepage: https://github.com/unicoq/unicoq/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-unicoq deb ocaml optional arch=any
Source: coq-unicoq
Standards-Version: 4.7.0
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
Version: 1.6-8.20-1
name: coq-unicoq
type: dpkg
version: 1.6-8.20-1