Artifact ott_0.33+ds-4

dsc_fields:
  Architecture: any
  Binary: libcoq-ott, ott-tools
  Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea,
    libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc
  Checksums-Sha1:
  - name: ott_0.33+ds.orig.tar.xz
    sha1: fc63f2061e80024965d44533336541733ccdd788
    size: '1140368'
  - name: ott_0.33+ds-4.debian.tar.xz
    sha1: fe3890c91ebd74d0beaddd4f8fe567163534f4f9
    size: '8156'
  Checksums-Sha256:
  - name: ott_0.33+ds.orig.tar.xz
    sha256: 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73
    size: '1140368'
  - name: ott_0.33+ds-4.debian.tar.xz
    sha256: 22b6e1a8555cc709ff56749fec94674444807a66a96879c7a122e6a5936e31bc
    size: '8156'
  Dgit: 9ce033d1ffbc8201e35fec91c33d5ad311d7211c debian archive/debian/0.33+ds-4 https://git.dgit.debian.org/ott
  Files:
  - md5sum: 2d36c7cb4901ba8c5ba757c6108e1ad9
    name: ott_0.33+ds.orig.tar.xz
    size: '1140368'
  - md5sum: 98cf917b92ee17f95297359b14d4fcb1
    name: ott_0.33+ds-4.debian.tar.xz
    size: '8156'
  Format: 3.0 (quilt)
  Homepage: https://github.com/ott-lang/ott
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package-List: |2-

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