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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-1build4
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:
 b141481e4b5de2bf4ac1311e4004bdd0436b00a4 331047 flocq_4.2.1.orig.tar.bz2
 4e347321cc53464092ec00622a398cbb6933b50c 2116 flocq_4.2.1-1build4.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 9cc92ea686d536c7ea02977650c953b065c7e371a34cc6d80a169cef97391cca 2116 flocq_4.2.1-1build4.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 698949946d1d986ed4beca6ef4ad11e2 2116 flocq_4.2.1-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s/YACgkQ808JdE6f
XdlpwRAAjDAaPOt7QbvJrw6adWONPxMqv83Yec4O4iuywWBySccsDE4sff5AiLaF
cdxj4/8xV++F7/rw7fskwYgpkTJAsodTPeisUcRtITebJXZCfRBK8mm7QV+1C1SU
Pi6frBC9of2TEnPrLDU0+pLPSKLvZWdYAYHmMe9woyzKhww4YEoHVj8ExdE6pV3E
FukVBY4UzN/O8uNWOtPrj3/w8TI2SX4nMKwhuCGcOxFW2KB8rQQl7vQIDAk/Inta
KVUt6eleUd8JatVupHFcPM3hdYvpa0GggdG5D97VbVmHIblpxogOqhOM+3muOPrT
80e0VOiqQPnIkp5PkkEMZ/E535WmWinHh8PE0GTw+J9rcRiCqP8t5250MMPpTph/
PtLKoBJNBsZJi03Cvas1OwIiLjle3acy5XSKMmm7k/XN5qTIgwoYqdit3H1LLAS3
dAqk31eCvOlY0Nm7X+DxFtQZ1fFfaWq2CuBsVMXrbRfgdYR2axJpodpu+n+ZKyG7
JrGN9TdiB5JnXOaOKsQ11jEXie6HRbbpQ/OANjcVwQRM+x2141bNH60/8ptijbe5
yDp2Gb6fJbdSFgxXbb29IDv8NJDDLStcXzeMtWZdh7SzNf1fjyvhXVYS4HXM1ETg
8uVNaGm8DDXvjmfM5Dzx8JJqz5PLJfRG8ievXGLI5fhzX39oy4M=
=MvzN
-----END PGP SIGNATURE-----