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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-2
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.7.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
 22b037ca89b8889b884af8972047c91fe3840925 2020 flocq_4.2.1-2.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 fa5982414f5f1e3e27adf0ee9af41fa00414e9fc0b0033e2f2c6b896da0b663b 2020 flocq_4.2.1-2.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 c4548c71bac23dfc527a41b7bb28aea4 2020 flocq_4.2.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB1RoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSKuD/476N4hHtO4ik+IbFwQe9Y/
1PDhYI7gUjiuZQk3v3qQpuep/+hO/flO4hmC1vPwMqmvOOoKyGyWKUCMvJAR88hC
2MmaOubiLDplaR218X6jda3PEyjLuc2JPJ95LIXnZ5BYOukKY1mxTI4Y9fVL938W
Kh1NqTbc4sL18vszm5Wr2AHno+fxKfJ70IUDEDa+kOYv6wqxiLg4J6tHvt9NObs+
7k1lblRSQiWe0LLzeIdI+CaQ75NBO40Zw5RNtD6KfX096uGQuMP1FAXA0SRxYSvJ
QuKh7/OKjMsrnU0ASURKfmdrix+n2YGyUnX/YcQFrYKFLSlicD4+p/9nRTV5MQad
Ex/lQASGADdnHGoCPfZno8bXUN+Q5P0kT3s058JaZxa1BhLfkf+f43SeaeS1nbVK
TVa9OXXv8uckRfsGc3rNajOyk0gBHBirBWnvts5mpueLm4y2EC4eyauthWQ5eD7d
ghR/aMoy2zsaiOHlUxMVmulGBzbD65uL6kYYuUq6TiDc4WJICmINAYAne31nMezm
QRTmdRtOlB5eieXlKhNYebs+vJ9RR4FdPmizpRKkJw6eNj246A9rw/Tr1dTu2smD
mYZ8qk7FhTkvKkpmU4NlXr/2b4wp0ifuYNG7RdGr62QpGQxWNZS4a23U5JnQvicJ
gUlRWaTCNaYJIJGFWSZkFw==
=VbHP
-----END PGP SIGNATURE-----