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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.1-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:
 74f7d255e2ec6c2e1f317cd7091d7eba8d04aac6 332909 flocq_4.1.1.orig.tar.bz2
 64c76a7b27647ba3a3f81cc92cee7cc52a32d773 1588 flocq_4.1.1-1.debian.tar.xz
Checksums-Sha256:
 0d1278c63273d5de0861fc30bad1d20301bf61507f60378f06d945df920f10d6 332909 flocq_4.1.1.orig.tar.bz2
 411db7e6fa0d5d01cbb4bae593b64b966bab1960d2789d977d1b19f05fdc7750 1588 flocq_4.1.1-1.debian.tar.xz
Files:
 596a204dd9ac96615c2cb575ddb6b6cc 332909 flocq_4.1.1.orig.tar.bz2
 8760450ab251254cb8b5b057d4ab2cd3 1588 flocq_4.1.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV04SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB/IQAJ589DL5P99d9x9bX3gdOVNr7sUn6N/N
gFUa70UBB99bUw8lck7QA0bf7YdTTXkFLP5HoJ2bS1u54uEDqyq48s39g/qYZTdz
MsyuVXkKmIZ7Hbo3PqrK+joX4eAs2NShLpwneCnbfjhcmojNuIBOLKeJBbEJLl35
6gyK5LaT45tzbP4184X3SyG4oGxx4vrBMFPU+7E6XpUvhdMGFi78L6j906dy6Qws
IQwzx3C8b7vqqcj9DxTAJvHWD5mU5g3I+EeMmfmYaTCwu5+5zqJo0TalJxhYHBz5
ueQsbfqpf1cclkWA5APNzuZyEQCKIhEbveuU1kZAmjFKGtb3ulfUQjILQ3U7rU03
ZSGFajN1DUpkUBOZxupUQMaPxTrwseriTVk/cS35eX3YuCKqoYfDwXe5ZwMttEYZ
Pnm6qKPky5VbKypml2kxMawJuQDPGL6xhgZZHNMFZ+liiL7nkOkfcRJhNz5c5vXS
DjDD5j5xhu4W0u6NKAOytjBvZpD1liZfY10Z/Fv+AO9Hgl7QFQ/Av2YgxvQ2CfU+
68OvRGgyq9ZnZO60dy9kRbbpskyFzlb7pEU1QArCtgX6/BnklHoGu5RHUsnP85Oi
0Vt4FR7EpUELNXyh6wWOxEbJODXQ4mZaT5DYa387rkL8PtXzwp5FnEDAdo8hFWUP
caPFyDng1Ixg
=J52x
-----END PGP SIGNATURE-----