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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-3
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 (>= 9), 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
 c1b24c8d8335909edd6d845da6b176dc78395fad 2056 flocq_4.2.1-3.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 1333c5bd9d7a0ae7e6fd4f2362d346b3934f473340dec283e6205cc8761654e8 2056 flocq_4.2.1-3.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 5478ff1661b0bd5e75f654877fe20ca8 2056 flocq_4.2.1-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfQAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSkeD/4kmuv5Gv21SbiPpcS2+f6R
fOoH9iJ2nVMY24coM/9TV5158zkO1L4G+LfCqY8vf74rUb3GqXmniLYAOlPbsdpu
jfV0iV44juDPI6OihS7Inefo8RdcVygWiSIKVE1SHbA5ugl4VzidAxzOkdekt2xk
FqHdG3olscHcfyVfRKRZNYF/dlRu4TsJ13Df4zL//TxpbhrpBcpGUxZNm04Midt9
eWWgMX6CwMufn7M6CqtCXqPKMb/IBlI+4wh9cIKaNdlzv9sb+JmlDrqZGcqkXL0+
6AHMZSazpNjEjrFzXCnVozxS4iz3FTrxu3dr5nXde5SrBTK6tRxIie1AAbOPjfl5
CGdCk9ws3XcwgS+w7kXvdJQuqACLXALG6QIyi/asUeO58IjgBazKKmpSAVvJTzYV
Gi6ED24tp3gYSerZ5gRhGUMdA1m11r0aGrKYYUvdK4Jd52c6bG9Q3hLjWfsOK85Q
fOJqBwVWmIuzQPQZpkNIX4cvGOw29KNTJCCUv02oSoLXRssPRcrBuoT4U/9PBi+6
6hWXUG6ikWFQ02ZTDJUxMTr8RQITt+kFT9jZBVtr3SVi4hfhqrP1h4AlFDUUjso/
RBG+zxWkfQtyWwS1/QuSiacC3GBX7hK6njT8COV0926TcNicWBaW5iKhIt/vPYta
RV5N4j+HrFTxjuawfvvT+A==
=o3Hd
-----END PGP SIGNATURE-----