Artifact coq-menhirlib_20220210+ds-4

dsc_fields:
  Architecture: any
  Binary: libcoq-menhirlib
  Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
    libcoq-stdlib
  Checksums-Sha1:
  - name: coq-menhirlib_20220210+ds.orig.tar.xz
    sha1: 9f14a8f3d6fe60f445b98312249fc6a415d55cf6
    size: '38152'
  - name: coq-menhirlib_20220210+ds-4.debian.tar.xz
    sha1: 0b97d58019223bf77296d5c67f1f4f2b0fa48c97
    size: '1756'
  Checksums-Sha256:
  - name: coq-menhirlib_20220210+ds.orig.tar.xz
    sha256: 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1
    size: '38152'
  - name: coq-menhirlib_20220210+ds-4.debian.tar.xz
    sha256: a02b65737b30e5ea82fdf17db5f086ec4a52137b36d8cd9c3140c7c17431a56a
    size: '1756'
  Files:
  - md5sum: f8a31f9808fa3fe75b9d3f25cb7f3c14
    name: coq-menhirlib_20220210+ds.orig.tar.xz
    size: '38152'
  - md5sum: 200fec8283bec1c2fa2dd874d2a0bdb5
    name: coq-menhirlib_20220210+ds-4.debian.tar.xz
    size: '1756'
  Format: 3.0 (quilt)
  Homepage: https://coquelicot.inria.fr/fpottier/menhir
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package-List: |2-

     libcoq-menhirlib deb ocaml optional arch=any
  Source: coq-menhirlib
  Standards-Version: 4.6.1
  Testsuite: autopkgtest
  Testsuite-Triggers: coq
  Uploaders: Julien Puydt <jpuydt@debian.org>
  Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
  Vcs-Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.git
  Version: 20220210+ds-4
name: coq-menhirlib
type: dpkg
version: 20220210+ds-4