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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.0-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gappa.gitlabpages.inria.fr
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-gappa
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-gappa.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 13), dh-ocaml, dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 98243de2c7124c163f67d2a4feba572cb88146cf 2312 coq-gappa_1.7.0-1build2.debian.tar.xz
Checksums-Sha256:
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 2c82e03b1c4ba6e7005e52810697b803c41a5ea9fb2ae60a7edc062201ecc86e 2312 coq-gappa_1.7.0-1build2.debian.tar.xz
Files:
 5697b7315301fd9034a649f59784aaac 76391 coq-gappa_1.7.0.orig.tar.bz2
 ee8adc13e5a392bfc94b0e1fdf861111 2312 coq-gappa_1.7.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9kgACgkQ808JdE6f
XdkaYhAAyOnk1aJdHcDwSkGbNVNRRC2XTF3FB5mtVlOFoILjQI0vDDJ7RS6nfcvt
KCkP9Q6/AbfO7ze9PBtBF+JmlLjic55HEY0xVvIUjnwAYtdjSMYBDA6QOf3CRbGa
9iTpyxs21l51JOiP1iSKrV3hidlFbYXZ8L42XM/cLHNb6vPyyQBaGjfgPIntfYpo
jaFbMEJ9qOs3MzgQB+g6Js5Fk96/7OX76YNPsuQHgfOgM3ykwubVlPlxpm0cW9+h
+ekB8Jw2sPCPtElqNnINm+kSt9pmY/6+odMo6tatA10LJTuJgS7jFwe5vJ+RO2IQ
mDfMIpKFhY4aDLXBSWl6QZaculxBU8STVqRG3gUtJe0XbJ+wcPX0QjQGLCtW/OLt
SO1uE8hkU5rEvF7T7894W6ildAk692sA4ywopEaAktmtcZLLwz28o5mfiQk7ZwBC
Kk8Oh8QexzmMRT/LP11ztU7rvLwAqalXM8Oh0SNB7ZJpxrL/HWIjeTpLvtcsoH8n
ibgNuaawfH9y3f2gMSmg9DlWsLBb1b5Hvwaw68Bn9YBlqRtFyMJOx3PjKvSszxdz
vg3lSdsjiQZRJbSakb87yXSt6vmpDVZtr3WW1P/ikhqREatJ5elTY7qxTWbpdame
hvoeRL+xgvN5LBKb1Vln6CR9smzm4u0TQyydWHmrNwSh8lm7aNo=
=Nh2g
-----END PGP SIGNATURE-----