dsc_fields:
Architecture: any
Binary: libcoq-unicoq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-unicoq_1.6-8.16.orig.tar.gz
sha1: 3434e1899bb99fa3b720c56484a8d0af4fc380bb
size: '593541'
- name: coq-unicoq_1.6-8.16-2.debian.tar.xz
sha1: 2e48f11a9057d68d7119b8eb14f8d3f4a3148b55
size: '2364'
Checksums-Sha256:
- name: coq-unicoq_1.6-8.16.orig.tar.gz
sha256: e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5
size: '593541'
- name: coq-unicoq_1.6-8.16-2.debian.tar.xz
sha256: 0e818f2759e63899adc561361e83289c974b478b5372f99e1926df830b9c8dda
size: '2364'
Files:
- md5sum: 041e01221bba8ef6f2c45ec1b8a1ca98
name: coq-unicoq_1.6-8.16.orig.tar.gz
size: '593541'
- md5sum: 3a26239fbedc871eea207325f291ce39
name: coq-unicoq_1.6-8.16-2.debian.tar.xz
size: '2364'
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.6.1
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.16-2
name: coq-unicoq
type: dpkg
version: 1.6-8.16-2