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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-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.7.4
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:
 29daf40b22588bc33b9b4929f6075e35852fd6a8 329748 flocq_4.2.2.orig.tar.bz2
 19c307ff88f9efe049ee67835ba7b0570e113d74 2000 flocq_4.2.2-1.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 afec21b563520c8c26ff48ab5cb4fa72c2acd26b7fac405966ae4b00c04e2b62 2000 flocq_4.2.2-1.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 7bc0af56c419cab48fd9b68f5f7b6604 2000 flocq_4.2.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpREyIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTYhD/9QF67C9n7kkpiEBn1xOJyA
E66dIJ6R6lENtihbiN2qj4/f5+e+hPH1+Y7FdWdbSolXdNVOtCoDTN+hsbKXsUVZ
24PoeIeRk4nanoqR5atWiiR/x5jP0x1YGZ6dcQLch3bqNI+2YYOqw92+X9exmL86
yEdmmfEgnGz9nS0mDp/l0vdbIH17RKeXm1o8VjyszGKMyxvLs+KF25ARKQ0gKg4V
oEw+2yL9qimEY7Qd1UkrP9XG+DdFCkhCJQrBsBALdIvl/w8Vns3q2NFhq9A8BDJu
+QoderXVRIoGuV0P99pGDTnlcQQTkXNscsQn7keagmOWxx1aZ05e0al+VUzNstm8
aN1URMjFxIyPYkNm5+KWi3XRM8M1r2pmu9bhIpjJnk2sWyjErrjzgA6FVzfu8wKZ
fRdMNkfBvNjRNvVSLp+ouwrMf+o4+IwJLRNL49zStyPpKQBxGosPxsvzgtqxusuX
7ES9g0P97jTBIS3KIFLkGZCo+F06ewYa1hjl+R+cKgiKwyaX69OGZF2KxJvriKk1
85NfX16ufltWiHL61A5hzdh3HVt+Y2XOtp3LkRrnwDcdg2nCUIKKeiqXbmkx4WU7
8TgnI5VNv6PVnhCHjylV7XyouAkF6Xu75lkxh8/cp9iIoUNhNxj1RUzia2vILFjy
XM316EwjbFAvtrNyXoU1Cw==
=GeNV
-----END PGP SIGNATURE-----