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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-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:
 b141481e4b5de2bf4ac1311e4004bdd0436b00a4 331047 flocq_4.2.1.orig.tar.bz2
 7210d0cca5ec234694dc24ef1c391c6a031abfc6 1940 flocq_4.2.1-1.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 f4981416f6e89f1780371afc3cafc50451d2364d3d5d7f9a940e9f40e2723630 1940 flocq_4.2.1-1.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 82fc9578360ebd9b14b390bcb5c5288d 1940 flocq_4.2.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewpdUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUFhEACcHWjWGbmZZMLHf/ZFpgFO
rhYF843k/nkUSHWtWjVesybhsD0NO1Mzzmnp2M9KJr4MkSvlaZ/7YJ1//riNDfm7
NTebRPLEDaq0dpT0t45j5tIqDctuCJ8XWZ2w71f/PzS5ccxee3FFBKpMoAnmN8Hx
JyhevZZaouVI0lRHn/lbNU4rMMn2OEzPe45poou9ugGC53dZPIYbOZA5U22Po4of
8LRuwaFhT4BwKVnvVH1lFKA3snFGawclfvc3Yd15S8dKOd2V+QKHX03RFqEVkBuu
DljtnmRAp4LgPOu+XGGTDvJKzf6J4UZ6V8Vd6BIzxwoQJTqo95wACmBXb8wLALiA
0kNItKAG9dgLp9gsAEDf9BQm7Tcx1yoGzTk9KOlz4lmAnSb/llvnrpmjSoRKSOQn
ESezuE7DcHnPdgnSzwgDyU9UgbNCQaNFAObeR2V4xpfu4Ui/pl2cmAgjSya1np0F
PX3LaARvcxNE5AihaMxi08uM26QLUtiqbBmcOSLcLHdO2NVyoF/yjXyGsX4zhOX+
QBd5Spr19D70lS8Duh4dYRtdyc125Wntkf7xgT6qctE0ZrQJ2IqW3ivlpGv5mq5V
UseiF0ny3JWIytcrHyD/REJxcO2dIR3EOa5Z3Eay/buFFAtTgi6tyLGnF1saO/5F
zQ4kossm0x4lM29VMZ8yMA==
=1SGv
-----END PGP SIGNATURE-----