dsc_fields:
Architecture: any
Binary: libcoq-math-classes
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-bignums, libcoq-stdlib
Checksums-Sha1:
- name: coq-math-classes_8.15.0.orig.tar.gz
sha1: 76cf277c78fd48280e515ca0a942d2261e58092b
size: '167961'
- name: coq-math-classes_8.15.0-4.debian.tar.xz
sha1: 7a9f76c5b71d1f928aca6e447960be5eb0459964
size: '2624'
Checksums-Sha256:
- name: coq-math-classes_8.15.0.orig.tar.gz
sha256: 3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d
size: '167961'
- name: coq-math-classes_8.15.0-4.debian.tar.xz
sha256: a864822ae1fb02b3f1f70054e942a3ea3085fddaf76f5762cc1ad14f066e24c8
size: '2624'
Files:
- md5sum: dba7c652edd1ea63203cdd33f97fddba
name: coq-math-classes_8.15.0.orig.tar.gz
size: '167961'
- md5sum: c6803095fa1bb9ebef357f5c87b6c49a
name: coq-math-classes_8.15.0-4.debian.tar.xz
size: '2624'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/math-classes
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-math-classes deb ocaml optional arch=any
Source: coq-math-classes
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-math-classes
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-math-classes.git
Version: 8.15.0-4
name: coq-math-classes
type: dpkg
version: 8.15.0-4