Artifact ott_0.34+ds-1

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.34+ds.orig.tar.xz
    sha1: 97c298fb881fae76b54bfc4a391e9e511ac82887
    size: '1142148'
  - name: ott_0.34+ds-1.debian.tar.xz
    sha1: 3d6519d45fe9db0faef9d2d4b0bb5c240e419c6f
    size: '6960'
  Checksums-Sha256:
  - name: ott_0.34+ds.orig.tar.xz
    sha256: 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d
    size: '1142148'
  - name: ott_0.34+ds-1.debian.tar.xz
    sha256: 9e1afd6fe3fac02f2bf9b56b4ba053cbc5f273bcfeec412de4cfb99bc0cf1508
    size: '6960'
  Files:
  - md5sum: 5eff147ec6d1f2eccd2766437e4fdb28
    name: ott_0.34+ds.orig.tar.xz
    size: '1142148'
  - md5sum: 66964204cb764dc8f6d59e2a8c752f67
    name: ott_0.34+ds-1.debian.tar.xz
    size: '6960'
  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.34+ds-1
name: ott
type: dpkg
version: 0.34+ds-1