Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://flocq.gitlabpages.inria.fr/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/flocq
Vcs-Git: https://salsa.debian.org/ocaml-team/flocq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-flocq deb ocaml optional arch=any
Checksums-Sha1:
 29daf40b22588bc33b9b4929f6075e35852fd6a8 329748 flocq_4.2.2.orig.tar.bz2
 d10c2582b88e0bab6bbf56557033ac4b29e31362 2092 flocq_4.2.2-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 a51af559a8a893df5ea28610ab0adf8770447a4391bc7f5cca581445c59cad02 2092 flocq_4.2.2-2+ocaml1.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 e6fec4f8572927f404faf64bbeac5048 2092 flocq_4.2.2-2+ocaml1.debian.tar.xz