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-2.debian.tar.xz
sha1: e7e37d129e35b9745330c30075fbc5da58b011bf
size: '2284'
Checksums-Sha256:
- name: coq-unimath_20240923.orig.tar.gz
sha256: db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0
size: '3609745'
- name: coq-unimath_20240923-2.debian.tar.xz
sha256: 865bb2f99acfaf024ef4fe13b8aee67828e8ef4a372f6138248dcb21e90d6178
size: '2284'
Files:
- md5sum: 38ac9e25497c1061b099ece8ee5f141d
name: coq-unimath_20240923.orig.tar.gz
size: '3609745'
- md5sum: 7108f45b0dbed95aae40a884f0792519
name: coq-unimath_20240923-2.debian.tar.xz
size: '2284'
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-2
name: coq-unimath
type: dpkg
version: 20240923-2