dsc_fields:
Architecture: any
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev,
wdiff
Checksums-Sha1:
- name: coq-hierarchy-builder_1.4.0.orig.tar.gz
sha1: 0a416ce6bd3be7af9bc71acab905d9fa6882e84e
size: '201673'
- name: coq-hierarchy-builder_1.4.0-2.debian.tar.xz
sha1: c68077e621a3cb7a341f8f032d576d299d525647
size: '3132'
Checksums-Sha256:
- name: coq-hierarchy-builder_1.4.0.orig.tar.gz
sha256: 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99
size: '201673'
- name: coq-hierarchy-builder_1.4.0-2.debian.tar.xz
sha256: 5fba885d6160c4fa136eb7f9344a1e50c54a4f0db799495202053fbb2139b3da
size: '3132'
Files:
- md5sum: 2fb08ce2debfe46a48593132aad748f0
name: coq-hierarchy-builder_1.4.0.orig.tar.gz
size: '201673'
- md5sum: 4de27c5d3fc546e35ce00bff9292fdfa
name: coq-hierarchy-builder_1.4.0-2.debian.tar.xz
size: '3132'
Format: 3.0 (quilt)
Homepage: https://github.com/math-comp/hierarchy-builder
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
coq-hierarchy-builder deb ocaml optional arch=any
libcoq-hierarchy-builder deb ocaml optional arch=any
Source: coq-hierarchy-builder
Standards-Version: 4.6.1
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder.git
Version: 1.4.0-2
name: coq-hierarchy-builder
type: dpkg
version: 1.4.0-2