-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.3-1build4
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
 0f06b33b7befb1e73bfe95cd282975a21d3dbf47 2008 flocq_4.1.3-1build4.debian.tar.xz
Checksums-Sha256:
 e962ba6a7b9ec6596061f0d0918c345f0b3390b24b6ebc56558b8e62a69162f2 333474 flocq_4.1.3.orig.tar.bz2
 223cfdc52f494d115df92667910d5e51cf207bf68fef12e83df7d15f6b07ec49 2008 flocq_4.1.3-1build4.debian.tar.xz
Files:
 099d46c1193adcd80c609d6ffbc34c44 333474 flocq_4.1.3.orig.tar.bz2
 4cca8b5fbdf702f9487a893f89580dca 2008 flocq_4.1.3-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTma0ACgkQ808JdE6f
Xdn5wA//Q15X+E5k4+ydGoPk2NLVzIWomVHFfK0IM3vIPGQrFf6nMHU1p5aWzQ3T
zC3bnkdKb/LK8D1V8gOPc2b3hlcSKENOpDeS77nRLSFRDMS50GmKVv74oXz17JDo
holX8gSbnr8Ng/FPPHVK0YINM2wMm76yncX1/2Iy8hI/KUBPaND805hx5dN1j9KD
TF1pMTr4Ksto65PytyScDGB1gMsaHuMXoknRB2880i3xvp5Aq83KN4MUGUp0+rwQ
uLN9M0PWr/8ut+WCWsLmcRQxEWb0KRI2+R1qlfyXq+dWr6L+xn12YUX9h+bMi+fX
vSfaFC/WbG6whaXGI/gWRCUf4Jsx8MSqGoChqDe8R78yvOHEXydzPHMaNslxgVcW
JFiZaHVcQEz5T2TRTp7T4nLQsQAj9DHWrcW/O61zQ5SkJXfNuqYwQIF1CI9y7zVV
FKXp9Crdnzevx8n4LVAwEO/yJR8e3kg8VWEp/4wqm+zfaxSTq0pWerttYs7ku+dV
EHatPx9LNxYFKoUi9lzMo5QJwJP0hrApz+DdnjeOaccYxIAW0LC9t1+z0h8eoTqk
mqOgndpQbe3X4mHHfslk1RmIRLPobRjS1iELrDGvIN60ai8bFmXllle4oUEEanDi
t6FTlwng/q3udnT8XxmuU4G4WK75R6OvSzIQslGzEI9Pur6zzAE=
=Dhyj
-----END PGP SIGNATURE-----