Artifact paramcoq_1.1.3+coq8.19-2

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.19.orig.tar.gz
    sha1: 7dfd1153b6beb50f255fb1fd29a9083b41b59731
    size: '45881'
  - name: paramcoq_1.1.3+coq8.19-2.debian.tar.xz
    sha1: 0b8aaacc69020f4299a161231b621f89c0c16c1b
    size: '3168'
  Checksums-Sha256:
  - name: paramcoq_1.1.3+coq8.19.orig.tar.gz
    sha256: b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a
    size: '45881'
  - name: paramcoq_1.1.3+coq8.19-2.debian.tar.xz
    sha256: 9f9d0a76a89cd70463a9981a2b4d30a1a4d63a07464c56b9bec11f23351e03b3
    size: '3168'
  Dgit: ebe086f200de2fd06b26b8079b70cd91ecd13fc1 debian archive/debian/1.1.3+coq8.19-2
    https://git.dgit.debian.org/paramcoq
  Files:
  - md5sum: 8195351e30a8ac84fc12c736ab09ce21
    name: paramcoq_1.1.3+coq8.19.orig.tar.gz
    size: '45881'
  - md5sum: b765e412576c5ce31779591ec820001a
    name: paramcoq_1.1.3+coq8.19-2.debian.tar.xz
    size: '3168'
  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.2
  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.19-2
name: paramcoq
type: dpkg
version: 1.1.3+coq8.19-2