Artifact paramcoq_1.1.3+coq8.20-1

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.20.orig.tar.gz
    sha1: 7cb4a466dcac4087e23f0fa729eda1717e987df4
    size: '45816'
  - name: paramcoq_1.1.3+coq8.20-1.debian.tar.xz
    sha1: 8d629f3108508e3681ddb14ae5afca1367913e2b
    size: '3184'
  Checksums-Sha256:
  - name: paramcoq_1.1.3+coq8.20.orig.tar.gz
    sha256: e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1
    size: '45816'
  - name: paramcoq_1.1.3+coq8.20-1.debian.tar.xz
    sha256: 1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce
    size: '3184'
  Files:
  - md5sum: 917fcdc199ded6847ed0425a92876c27
    name: paramcoq_1.1.3+coq8.20.orig.tar.gz
    size: '45816'
  - md5sum: ada72cf74b95c53b7ece4fe41e3a4e66
    name: paramcoq_1.1.3+coq8.20-1.debian.tar.xz
    size: '3184'
  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.20-1
name: paramcoq
type: dpkg
version: 1.1.3+coq8.20-1