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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.3-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:
 d95643984f1568acdbc0f88bfd21bb96dc22f66a 333474 flocq_4.1.3.orig.tar.bz2
 3842b59b234e2a5b1937033f3fbde59d1bdb601f 1764 flocq_4.1.3-1.debian.tar.xz
Checksums-Sha256:
 e962ba6a7b9ec6596061f0d0918c345f0b3390b24b6ebc56558b8e62a69162f2 333474 flocq_4.1.3.orig.tar.bz2
 ad3ca2550e2d35a2d0391e7000511ebe814676a6410ebf94a992cab48fcfd122 1764 flocq_4.1.3-1.debian.tar.xz
Files:
 099d46c1193adcd80c609d6ffbc34c44 333474 flocq_4.1.3.orig.tar.bz2
 a27cd64534ecb13934f755c6643529ba 1764 flocq_4.1.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEW54SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReH0P/1QZLf4n4mcTem+peUjDYGx5Dg+oD02h
PATRJLYP1H/m2e90dHN2dVFW/J1n5Mz2WkjJD32icOPbSZFzn0NpnNfVsEAP7Y8M
NQ9AYbODpvhVT/hUgPsyiYxJddBgUcUHvrabobO/dYd/hHr/hQUdDAJvvCUEcdfk
41TYo+zqfJk2rf3BrrFw5TvyIT3VB7TP2Wd/FpNyO+sN8GYushdXQnhSsIAb9ea8
Y2brQJy6i5oLSy7Fi18Rg4RCeFaAe1B4zDhGCRHvWEMyOt/+DVNaO/X/dmwpV9lj
3LBHivHXli8HzzI1bZzkZG6X3iN4S0ILYgcvH7hPknb3O1cwKKc238crWvrX4zRP
w4zVNFAPwWIpoKwBIxRdl/j3v+jI9DGMlUOteJYwzR0ZgjRWAjTryMopD93hNv8W
xU21OK+gA5TMzzHkML3e8LpCwHFGP0fdW5fizlNiXrfGaXs7JfkTayTFUOacEzC4
uHVoUoyU+vIxvm9S1gjDByu+w4/OZvTDQ5/d/zyPmjD2B5gzrDcesmip3xmoQKz6
jpu3fZyL1FEslhm1aeK78v+mkib4fT4V6spMq08QhqDsLLotSgWCAye1K2vhJupq
RlcrbWAAIEQN3qoJQ/mViZBo5LmLNHJV69QRYXU3YBUNIx/I0hO/+2LP/No53aks
z9JgTC48J4x/
=dQNM
-----END PGP SIGNATURE-----