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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.3-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 d95643984f1568acdbc0f88bfd21bb96dc22f66a 333474 flocq_4.1.3.orig.tar.bz2
 af3e88b2bd5cb2282534411b218fdff213525904 1936 flocq_4.1.3-1build2.debian.tar.xz
Checksums-Sha256:
 e962ba6a7b9ec6596061f0d0918c345f0b3390b24b6ebc56558b8e62a69162f2 333474 flocq_4.1.3.orig.tar.bz2
 2c681df6f0f6292421a81da808f2d6ee2328a2e1d969e4823e9cdb179b74c966 1936 flocq_4.1.3-1build2.debian.tar.xz
Files:
 099d46c1193adcd80c609d6ffbc34c44 333474 flocq_4.1.3.orig.tar.bz2
 26216dccd39a26dc4e6c3fb64b7f8a51 1936 flocq_4.1.3-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cMkaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0bChAAvr7Ycz9EzKO48Spdsf7x
mjoVIVGkUOuAhYvX9xajrqLYu7zcFrPUtLjyZPqxVE2Jit0f0+vEKpnjiHCLFCzY
DFpaBz+TznAUF1OxuEhFRJPjU7vWUTXEzyku9KhkcnAvXU3VQuPnD6sx699STdWg
yTh/aznGLil6LS9zo7PCszucozPyOPbd9F0wke98uTqqFTKatz1BbMLyRqFp7UiZ
OiMuZgTrAEE+4MJza0iSAdAlaKKZ+whlzgjM5Pa0e4vBbAplQ60p6aKy0YCfHgQV
lqaDmL7lsOD7STXgApZP8sRrG0MhF9C1/R2O+58CTd4FzJfLNthaOCX7qyIFjBqA
1OmIWk1RDLE/X/4xwyNhYTZds0gb6Jcj/zmTUMKHzppvl4vZPMBE6K2o7vMolU72
4VklW/4u4yO3gTtTAC8voQSg7xXR3fWoyl9VYxyWthiM5l1tiGAZnXJcibfYKWSc
gfRpH4ukc/V0iwc29/I2edoAQ0zVzaEGNXxPm3RbCxUazYLnxMvnzwhY8IaInlrG
ewIB3EFYYnqO+yiivYQesV/yDTUeh06nsRM/0hPBut+meKCWvQWn7MRxxDGb97rG
d993PXwbfNEFbNXsZqbllDjvg8qa1tRe4ORGJabvO5UUGL4r7zoMO3fwtv1wosFe
AJhqzaHuQBWmQW1EfntMIl4=
=1EbG
-----END PGP SIGNATURE-----