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.20.orig.tar.gz
sha1: d64ca8604cd4bcb89518d6c81f96422fb404ea7e
size: '252390'
- name: coq-mtac2_1.4+8.20-1.debian.tar.xz
sha1: 425644da2df91ec296c70a0145fb58ad24c2374f
size: '2924'
Checksums-Sha256:
- name: coq-mtac2_1.4+8.20.orig.tar.gz
sha256: 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3
size: '252390'
- name: coq-mtac2_1.4+8.20-1.debian.tar.xz
sha256: 32d63f6f122bb1ecd84052381f7f617513d19161d2b68e51549c4c9523199a86
size: '2924'
Files:
- md5sum: b2f719ba452e18f8c309f5f69074e640
name: coq-mtac2_1.4+8.20.orig.tar.gz
size: '252390'
- md5sum: 26e75ae9ccf13817a044f4ab8f485774
name: coq-mtac2_1.4+8.20-1.debian.tar.xz
size: '2924'
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.20-1
name: coq-mtac2
type: dpkg
version: 1.4+8.20-1