Artifact mathcomp-real-closed_1.1.3-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_1.1.3.orig.tar.gz
    sha1: 714b505d1a56ee46b34bcc63bad21de15bd5ec91
    size: '118537'
  - name: mathcomp-real-closed_1.1.3-1.debian.tar.xz
    sha1: beff371fee9a2fbe52ac84b24857b2e6fe90bf63
    size: '8676'
  Checksums-Sha256:
  - name: mathcomp-real-closed_1.1.3.orig.tar.gz
    sha256: dbb3d86d72525a0c9ac069a0b2321a3237053ed7c5865ac79e34ab03f5c9448d
    size: '118537'
  - name: mathcomp-real-closed_1.1.3-1.debian.tar.xz
    sha256: 3ebe20060737924015721628a957af5e99e4c2aafb3da63542b8231ab0fdc5e1
    size: '8676'
  Files:
  - md5sum: b1b93118f89f0cc046767701ee4f78da
    name: mathcomp-real-closed_1.1.3.orig.tar.gz
    size: '118537'
  - md5sum: de2f49186b9ab71b6b99d4fcbc8f1ef6
    name: mathcomp-real-closed_1.1.3-1.debian.tar.xz
    size: '8676'
  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.1
  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: 1.1.3-1
name: mathcomp-real-closed
type: dpkg
version: 1.1.3-1