dsc_fields:
Architecture: any
Binary: libcoq-mathcomp-analysis
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder,
libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable,
libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap,
ocaml-dune
Checksums-Sha1:
- name: mathcomp-analysis_0.6.0.orig.tar.gz
sha1: 84a72466d396f385b4955a9bb5934ab0a845c449
size: '717379'
- name: mathcomp-analysis_0.6.0-2.debian.tar.xz
sha1: 48e41cf3de8ee0aefcce47d54f86c792520ff325
size: '8816'
Checksums-Sha256:
- name: mathcomp-analysis_0.6.0.orig.tar.gz
sha256: 1fc0252422592abec0e978c9f49bde752f2f38ae5a61ad0ece68446efd29730b
size: '717379'
- name: mathcomp-analysis_0.6.0-2.debian.tar.xz
sha256: d6b5189e9dbb12232796150a47f0616b7311021eb32407fef4695cc483cda8fa
size: '8816'
Files:
- md5sum: f033cda83fb712a860ee32d67c1f4542
name: mathcomp-analysis_0.6.0.orig.tar.gz
size: '717379'
- md5sum: 830fea42dc494eeaa145277c0b1a9590
name: mathcomp-analysis_0.6.0-2.debian.tar.xz
size: '8816'
Format: 3.0 (quilt)
Homepage: https://github.com/math-comp/analysis
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-mathcomp-analysis deb ocaml optional arch=any
Source: mathcomp-analysis
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Version: 0.6.0-2
name: mathcomp-analysis
type: dpkg
version: 0.6.0-2