Artifact coq-ext-lib_0.11.7-2

dsc_fields:
  Architecture: any
  Binary: libcoq-ext-lib
  Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
    libcoq-stdlib
  Checksums-Sha1:
  - name: coq-ext-lib_0.11.7.orig.tar.gz
    sha1: bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc
    size: '82956'
  - name: coq-ext-lib_0.11.7-2.debian.tar.xz
    sha1: 3b754441413c3f212ebe97f68946ff591fcc7087
    size: '2036'
  Checksums-Sha256:
  - name: coq-ext-lib_0.11.7.orig.tar.gz
    sha256: 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1
    size: '82956'
  - name: coq-ext-lib_0.11.7-2.debian.tar.xz
    sha256: f102bc89b78836fece9be63eb0ffbc1451369aee659427f81ffc21483776c263
    size: '2036'
  Files:
  - md5sum: a71175b8e2b9c005d4e333a25ace42ba
    name: coq-ext-lib_0.11.7.orig.tar.gz
    size: '82956'
  - md5sum: 420d7e78ab9827de4f506d430d96ee01
    name: coq-ext-lib_0.11.7-2.debian.tar.xz
    size: '2036'
  Format: 3.0 (quilt)
  Homepage: https://github.com/coq-community/coq-ext-lib
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package-List: |2-

     libcoq-ext-lib deb ocaml optional arch=any
  Source: coq-ext-lib
  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-ext-lib
  Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git
  Version: 0.11.7-2
name: coq-ext-lib
type: dpkg
version: 0.11.7-2