dsc_fields:
Architecture: any
Binary: libcoq-unimath
Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-unimath_20240923.orig.tar.gz
sha1: 1fd8be330c38a557b544ac4376dc7ecb1bc1bee0
size: '3609745'
- name: coq-unimath_20240923-1.debian.tar.xz
sha1: 9d3b9c719baa3b200de98e21e031db416e8e6d0f
size: '2252'
Checksums-Sha256:
- name: coq-unimath_20240923.orig.tar.gz
sha256: db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0
size: '3609745'
- name: coq-unimath_20240923-1.debian.tar.xz
sha256: 0418590fcea27dd2ab179b7f3a1c4e20ecb629ddc9543b162fe44cc729c94416
size: '2252'
Files:
- md5sum: 38ac9e25497c1061b099ece8ee5f141d
name: coq-unimath_20240923.orig.tar.gz
size: '3609745'
- md5sum: f74c76ae79076ede685d37b0b3b04875
name: coq-unimath_20240923-1.debian.tar.xz
size: '2252'
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.7.0
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: 20240923-1
name: coq-unimath
type: dpkg
version: 20240923-1