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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.4-1
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
 ab1a34c85c7d64d5434bcf43691854d31a3d6ca2 1776 flocq_4.1.4-1.debian.tar.xz
Checksums-Sha256:
 95d8ed3935661b0e3f801218fea693cc0fb0394aa2e1e0574ccb2d724d08a878 333601 flocq_4.1.4.orig.tar.bz2
 4c00dd498594d79b544a5470826e51cc4babe93e2436b6b33787dbfe9f180ffb 1776 flocq_4.1.4-1.debian.tar.xz
Files:
 f95b810cb0f030bf716c8889768936e4 333601 flocq_4.1.4.orig.tar.bz2
 712d644ab31fbaf80f04962372e3f034 1776 flocq_4.1.4-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0iwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYwQQAICKK3aZ85I/h+F+VXS6H/jrPpF/pBy6
nEoKhsCxghHc1gqSAduoIHie1SOfgRvAX0Z+cIbsyi5nO0jjlE9ZfYZm7m2Xkd6s
/93t69+lcLD/1AOtW+znVFry5aT/lGsLTBAbUkDTCYSn2G/50YHqBmzkJTJDmalD
RmH9ZrEaclHAo0jJ29Fxjc9LlL4nWtz4exw4fIeqSJahVcVZzTG5mzbWHg6kN6dO
b8KpSm8Q0juBmtV7hC3NUNAaS0H1jXN9rUj8WBFOfkU3klm/BNYIZeb+Pk5r1RBB
tSw3ZbUtFtBMySgaf8q8NMNYwITdUmSQZya0qLUnd8xV0YvG28TWeVlu2HU7HYTg
JFpICLNdxYh+6pl5o7/f5X6zR8WpnV5Gm+9qhw1B5fFX6D+eaXkhhVfYuV76dYs8
F0jc6mGoVg0++ie+uTgKAOr3MLxQk0fBStHeDG1KJEmVZKlJR3JWyqT0Tm5Gnaho
WEIvKOWJhE3OlkiwW8UfKJTqFwplziJ3ylPDXkpHeEAcUuhs6RgxWO1CWTIlUz41
s0V87H32uHSJ0jkC0XO8M4OCsEYV1+4DQ884/c3PXoIPanqaulh0FbN/97hcw/ni
fHR1Z7kbe4xA1XljApTNdZnTsAYd2o5oSMFAVQX/TASr0jyPaRZTLTyKUDd2yWSm
q17FrormlxxB
=gE7s
-----END PGP SIGNATURE-----