-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.4-2
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.6.2
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-flocq deb ocaml optional arch=any
Checksums-Sha1:
 e681942a1d1758c9da8d641799c1c54dce2cc09d 333601 flocq_4.1.4.orig.tar.bz2
 375a7bc7c40532dd7ddc4dd9c91e9ab3e3e15bfb 1908 flocq_4.1.4-2.debian.tar.xz
Checksums-Sha256:
 95d8ed3935661b0e3f801218fea693cc0fb0394aa2e1e0574ccb2d724d08a878 333601 flocq_4.1.4.orig.tar.bz2
 fe6e3fcbb84516da9817fadfaf70c8648a81b931fd1eb5a068e008eb25aaaa0a 1908 flocq_4.1.4-2.debian.tar.xz
Files:
 f95b810cb0f030bf716c8889768936e4 333601 flocq_4.1.4.orig.tar.bz2
 80d3d4e6eaa0410514459e96c9711bfe 1908 flocq_4.1.4-2.debian.tar.xz
Dgit: c329414f489df20166c635c3c42e97c116b7c8cc debian archive/debian/4.1.4-2 https://git.dgit.debian.org/flocq

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+RMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBRo0H/0upRhirZVBcwrHGoUBMmaittO92691s
BBnWdha2wzFrdwgoH67iUxix/HZ37nArsgCDSjc1ZBBE4q52KP8PJKjFK+niDn9L
DES4OfG0jQ4EHE949jk9LrpJmrE6ykIUkno0eHxCtOCozz4++VdIW4UimUzzBZkJ
lda5mzWSAeEl2n+8rrcj8kh0CZotCGJMio1KIGRYCvPLoQFGofy+88CGrkRGMcyQ
f31ONGB72N+TpycKzDh2KIFJa2XRhZpLPuaFletmsjtbw1TKiCEbft/qaGRdguFz
Bi488xnUKPJaM6YSllZxB/685ARyCiwENEfxQfd2959//KJOQlITQeA=
=uvn2
-----END PGP SIGNATURE-----