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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.3-1build1
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
 df66ddbc51f835fc696768f5350c2afb6ba265c3 1828 flocq_4.1.3-1build1.debian.tar.xz
Checksums-Sha256:
 e962ba6a7b9ec6596061f0d0918c345f0b3390b24b6ebc56558b8e62a69162f2 333474 flocq_4.1.3.orig.tar.bz2
 b18e650b1f1955802bc8c4eb6551e90b156a8621fc9832534194baa273e4eb2d 1828 flocq_4.1.3-1build1.debian.tar.xz
Files:
 099d46c1193adcd80c609d6ffbc34c44 333474 flocq_4.1.3.orig.tar.bz2
 6edda447442d79010d9e37b91ed90e37 1828 flocq_4.1.3-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGN+cACgkQ5mx3Wuv+
bH0wphAAkxR2ZpPpasNMubpXNvIY5CQM8kVvunhm1Wy5l8vrcgj5gAwJVRDmE542
ztfutAO3mvyvb1/O5YhdqIJoPoZhTnM/ypyOS228pYxiyE9M/nz1Poa3efJ/4R2Q
9s2Qv0R+eVludXa5CJACA+Z8xisWxXlAPz7Vqzz80Lm2MUxKGjDrYtcIQnWGql+T
pPoti3dCNwE/wC8z6YqznQmZUnhk8bDjzoTdLLVo64MwmnR8p5Ik+2Czv9bIan8p
cklTpRrC6DUsYB/KCF6comAdkyOzYHBgpHGLddsA9rkGHdAkrqMSvA2aZyADCaXi
lwGQoH7wpkSLvl/A9sX4/NFqT+ZloQDwA2zJJj0vW2Lmxu6FwezlzyomjkP9ocW7
u7a7lffDFU/2iFR59CBe3pIQPl0Vm4D8rixonrtqer8Z6c8ppXK/ZowMuqrnXZ7k
KpGeVsGaHaGcdKE99W+i6q8xBw4plTS3d/fqSF4MRoJ224Avet41Z/P6d3PvmF+F
8y186IeY0p5RC9J0JZ90u3EEC4uFFcBAuwgprJXWPNdJd/CDoqH0/wB9wJFIcB+L
Xue3YZNvd956ex/0r6SKfrg7FAy14jzYxwv4gfFFEmOy9W1gWuhWz1vSSKaj/Jwk
yqD5NWl1SEwag9duIwSqKNubKsRxExUyRL3oE9VdCH/mhPXM+F4=
=I/1T
-----END PGP SIGNATURE-----