Artifact mathcomp-real-closed_2.0.2-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.2.orig.tar.gz
    sha1: 50f36b2c5ec4f62e0b26a8abba2091730a8ed971
    size: '124888'
  - name: mathcomp-real-closed_2.0.2-1.debian.tar.xz
    sha1: e47e920d67cce0b0350cb3057f951caa00963b19
    size: '8984'
  Checksums-Sha256:
  - name: mathcomp-real-closed_2.0.2.orig.tar.gz
    sha256: c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f
    size: '124888'
  - name: mathcomp-real-closed_2.0.2-1.debian.tar.xz
    sha256: 6db95dfdefc8d44b8847a4322308b27d67a9d29edf97c1149baab0457e6fbff8
    size: '8984'
  Files:
  - md5sum: 72f905fdcbd3c59dc5d8e682abffb2f6
    name: mathcomp-real-closed_2.0.2.orig.tar.gz
    size: '124888'
  - md5sum: 3dbedd369bbc2771cf4aa276fb03a7ac
    name: mathcomp-real-closed_2.0.2-1.debian.tar.xz
    size: '8984'
  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.7.0
  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.2-1
name: mathcomp-real-closed
type: dpkg
version: 2.0.2-1