dsc_fields:
Architecture: any
Binary: libcoq-mtac2
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Checksums-Sha1:
- name: coq-mtac2_1.4+8.16.orig.tar.gz
sha1: e7fd6a872a5cca4940d440bef620b83691217a7e
size: '251070'
- name: coq-mtac2_1.4+8.16-2.debian.tar.xz
sha1: 5ff51e3f8863edf39e9e370a849a1eb5e5839a5e
size: '2480'
Checksums-Sha256:
- name: coq-mtac2_1.4+8.16.orig.tar.gz
sha256: 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0
size: '251070'
- name: coq-mtac2_1.4+8.16-2.debian.tar.xz
sha256: 2d80fee8793d04660d0fdcaef8336a6857d819392a8507cfd8665dc6eb850287
size: '2480'
Files:
- md5sum: b7e5c7d4a7f3a59713c86b8a4c131d76
name: coq-mtac2_1.4+8.16.orig.tar.gz
size: '251070'
- md5sum: 64e2a759658ebd074f57c70290a58426
name: coq-mtac2_1.4+8.16-2.debian.tar.xz
size: '2480'
Format: 3.0 (quilt)
Homepage: https://github.com/Mtac2/Mtac2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-mtac2 deb ocaml optional arch=any
Source: coq-mtac2
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-mtac2
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-mtac2.git
Version: 1.4+8.16-2
name: coq-mtac2
type: dpkg
version: 1.4+8.16-2