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