Artifact paramcoq_1.1.3+coq8.16-3

dsc_fields:
  Architecture: any
  Binary: libcoq-paramcoq
  Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
    libcoq-stdlib
  Checksums-Sha1:
  - name: paramcoq_1.1.3+coq8.16.orig.tar.gz
    sha1: 7f38b7dcfa1502376d840213722f0de0db0a26bf
    size: '45732'
  - name: paramcoq_1.1.3+coq8.16-3.debian.tar.xz
    sha1: fe71e67d0ed9c4c7a84dbeb20378e27c6130407d
    size: '2892'
  Checksums-Sha256:
  - name: paramcoq_1.1.3+coq8.16.orig.tar.gz
    sha256: 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab
    size: '45732'
  - name: paramcoq_1.1.3+coq8.16-3.debian.tar.xz
    sha256: 9ec04701349949d05dea866e92474a8009554376275e30793b87179a5c5623cc
    size: '2892'
  Files:
  - md5sum: ae4a02f476e0fb5749e33f80499b13db
    name: paramcoq_1.1.3+coq8.16.orig.tar.gz
    size: '45732'
  - md5sum: 5c0089494a4f5210599d50ee8701038d
    name: paramcoq_1.1.3+coq8.16-3.debian.tar.xz
    size: '2892'
  Format: 3.0 (quilt)
  Homepage: https://github.com/coq-community/paramcoq/
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package-List: |2-

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