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.19.orig.tar.gz
sha1: a7b7758bce394cc9d0ca99a4929f4a4f3316462a
size: '252242'
- name: coq-mtac2_1.4+8.19-3.debian.tar.xz
sha1: a41074df9e24633296b249f16f89c837e4f0cf0b
size: '4916'
Checksums-Sha256:
- name: coq-mtac2_1.4+8.19.orig.tar.gz
sha256: 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f
size: '252242'
- name: coq-mtac2_1.4+8.19-3.debian.tar.xz
sha256: a33fd785cf36945ad20773c8551700f9d424064f461878472065514a21776a2a
size: '4916'
Files:
- md5sum: 4d4d247f672a25d9c8b59f9f0ce38d99
name: coq-mtac2_1.4+8.19.orig.tar.gz
size: '252242'
- md5sum: 53968b973262e05a79acf1807ae3bb21
name: coq-mtac2_1.4+8.19-3.debian.tar.xz
size: '4916'
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.7.0
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.19-3
name: coq-mtac2
type: dpkg
version: 1.4+8.19-3