dsc_fields:
Architecture: any
Binary: libcoq-mathcomp-real-closed
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra,
libcoq-mathcomp-bigenough, libcoq-mathcomp-field, libcoq-mathcomp-ssreflect, ocaml-dune
Checksums-Sha1:
- name: mathcomp-real-closed_2.0.0.orig.tar.gz
sha1: c47be15ca50fd6076f0e3883a4902c72432a1ebd
size: '119466'
- name: mathcomp-real-closed_2.0.0-3.debian.tar.xz
sha1: 0052936780d2026afedc630021468acd6e2c56b7
size: '8956'
Checksums-Sha256:
- name: mathcomp-real-closed_2.0.0.orig.tar.gz
sha256: 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53
size: '119466'
- name: mathcomp-real-closed_2.0.0-3.debian.tar.xz
sha256: 71508b88a083d39e29341f71645407cbb0f1b8878f10179c50ffa831be8eaf88
size: '8956'
Dgit: 93430673bd9ef37f6d61c2efe2affb807b2ca99b debian archive/debian/2.0.0-3 https://git.dgit.debian.org/mathcomp-real-closed
Files:
- md5sum: 102aff403e07f0c2ce25fcbbc5f53f64
name: mathcomp-real-closed_2.0.0.orig.tar.gz
size: '119466'
- md5sum: 001fca5945dd7a35e7923a4d57d80fd0
name: mathcomp-real-closed_2.0.0-3.debian.tar.xz
size: '8956'
Format: 3.0 (quilt)
Homepage: https://github.com/math-comp/real-closed
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-mathcomp-real-closed deb ocaml optional arch=any
Source: mathcomp-real-closed
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-real-closed
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git
Version: 2.0.0-3
name: mathcomp-real-closed
type: dpkg
version: 2.0.0-3