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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.1-1build1
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:
 74f7d255e2ec6c2e1f317cd7091d7eba8d04aac6 332909 flocq_4.1.1.orig.tar.bz2
 894e87311a7d1198c9cdcc5d2c6a621134350931 1660 flocq_4.1.1-1build1.debian.tar.xz
Checksums-Sha256:
 0d1278c63273d5de0861fc30bad1d20301bf61507f60378f06d945df920f10d6 332909 flocq_4.1.1.orig.tar.bz2
 bacbc9b8f30f9ce34024a696f730b0180d0e01052c2ff77ddd43c9ffd2db0de6 1660 flocq_4.1.1-1build1.debian.tar.xz
Files:
 596a204dd9ac96615c2cb575ddb6b6cc 332909 flocq_4.1.1.orig.tar.bz2
 ebbdcf9f5367bfc3bd171c864808464e 1660 flocq_4.1.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqzMACgkQ808JdE6f
XdmXAxAAmUVifSnb9sg8P8VsiRH4VjlPXKrW3CUrpQ+txFHiUhlBkHOIs7K9s8b1
UeZSYbahrnX0T86nPGT0oZhKR9DYR2ia3CZDT0rMfpAKOwr42KRrixz9hmKTrbAa
xSjSI8eI81Wh3pddvaf1djS1/tbMXmsWo19G+hLX85s1cMrSuWfGZzzv4xoy0NVO
s4omUmKmXgYRmJ4WC8SK1nqLsZrswj3Bf0Qa9rZip+KdehWp77PGY+41WoF4A7Vx
ZVQtO3o4OLv50C78pcy/UnLz8kbEj1ic2LA1m+SZNxajzHrapJFFQ9EhDlspublz
SHkJuvw0EiJeq0/WMB47NE6v+jVqL5hMudkIQSG7cJLwQ1Vvz4TE9nlqaxQhhfwg
Ou0ySGfmCcPREGWvDwq189A7sRZXRFgf5KLwR3wBo4WIToj7rbpNoqBu1kcGCLzv
X30KKD+id87Wcyv5Oe1PTGuFmc5yVeZmUHxXopfzZlwUEwl/WJR4RN8fmlq7TwRA
Fpe3eFcPnB8zImw3Zby1GLa08/8DgY+srwm120eJBljDODbuo4EpN4VcU9MzI//y
5MnPz+HRb4mK5RWg2L+3TM3wuR6lzNErCca4v8A8QkCC+TGTEamnLZJjQ4qWEJSB
fkHaHsj66PfGacePmQSKbDdIca3S/lwMdtay7jQcPMBL7A7FeaM=
=w7tc
-----END PGP SIGNATURE-----