Artifact mathcomp-real-closed_2.0.1-1

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.1.orig.tar.gz
    sha1: 0689aa2f1b423fe3291b5c76f7c2d4957e539d77
    size: '123774'
  - name: mathcomp-real-closed_2.0.1-1.debian.tar.xz
    sha1: b25b6bf70c5d5cd5b8ce2ae80bde4b1259d759d9
    size: '8960'
  Checksums-Sha256:
  - name: mathcomp-real-closed_2.0.1.orig.tar.gz
    sha256: 775b926cdf112ef44d6988dbe1df230b62e8e38dfe6671e5f6f4b8b5f878d469
    size: '123774'
  - name: mathcomp-real-closed_2.0.1-1.debian.tar.xz
    sha256: b03d6e090ea818cdde17f6d5f57bf6cf7d42b7017d48644f702ef2a816634200
    size: '8960'
  Files:
  - md5sum: f58666432c2fd330739ca3997a2eac3d
    name: mathcomp-real-closed_2.0.1.orig.tar.gz
    size: '123774'
  - md5sum: b84195df04dbe27635297140fc76d6fe
    name: mathcomp-real-closed_2.0.1-1.debian.tar.xz
    size: '8960'
  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.1-1
name: mathcomp-real-closed
type: dpkg
version: 2.0.1-1