dsc_fields:
Architecture: any
Binary: libcoq-unimath
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-unimath_20220816.orig.tar.gz
sha1: db44a40019c97b9eb9752006d1c8d7e2ba0bc948
size: '1986848'
- name: coq-unimath_20220816-2.debian.tar.xz
sha1: 49e5c58407bfc5d7f996788d33b212a7852952cc
size: '1776'
Checksums-Sha256:
- name: coq-unimath_20220816.orig.tar.gz
sha256: c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920
size: '1986848'
- name: coq-unimath_20220816-2.debian.tar.xz
sha256: 9325da648eba838108aca9aebfd881a2fc40c18b5b554fb42a4d27053c9b58e1
size: '1776'
Files:
- md5sum: 8477650af351ef4c383c7c6e2e214def
name: coq-unimath_20220816.orig.tar.gz
size: '1986848'
- md5sum: da16caedb5f9c762248c2598dda58960
name: coq-unimath_20220816-2.debian.tar.xz
size: '1776'
Format: 3.0 (quilt)
Homepage: https://github.com/UniMath/UniMath
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-unimath deb ocaml optional arch=any
Source: coq-unimath
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-unimath
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unimath.git
Version: 20220816-2
name: coq-unimath
type: dpkg
version: 20220816-2