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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.4-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gappa.gitlabpages.inria.fr
Standards-Version: 4.6.2
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-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 236e88f09e3ad0c3c423416cafa8b286f3679e2e 73571 coq-gappa_1.5.4.orig.tar.bz2
 64bd4b445716978effaa9520a63abbf7ccc3c1b6 2316 coq-gappa_1.5.4-1build1.debian.tar.xz
Checksums-Sha256:
 544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f 73571 coq-gappa_1.5.4.orig.tar.bz2
 a10db557e3f24c1d7c2740a377d65b060f5bf0e0fddeb6cd96cf9e70a25847a5 2316 coq-gappa_1.5.4-1build1.debian.tar.xz
Files:
 a4dd81d9c28e0382d09a3417b4c93d08 73571 coq-gappa_1.5.4.orig.tar.bz2
 69f05814c3b3fc87425f3bafbbf338a4 2316 coq-gappa_1.5.4-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cCwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3ukg/8CzaqByn8n2kHYoZsoSM/
A3etFLjvE2e/FpMcglciFlUXWsCrxpaYwgD41swETT8g/YMHUmR4jI7reVUEKGJu
LYl//8g0zso4ISWHMzVZOIz3pRjYYNPj4JwuyCE+ylVUq4gYXbuoVJRbrNGP2vA8
b9x2huv2LeWIJsDYAFq+6uOMLrJ05/WqGANS11Wm8m2UTtuA72JJ1xHGjWIYt+22
KAVokDcu3nN4K2z1Q8/OccQxcyhqQncfyTgPAmNJdHY64yWr15QGCOg9v3bFBGbX
weWNRk4zVOn0EaEgU3tF/sgwmd8uXEIOag4BYSUQkqitn8AtRL+115LUWGq0LYhn
qFVDxdWPsLojJYOn3rU+UjWnUcMsQXnEvejV9Ou/VOKNIF27YgstwCSWk64tFefg
9t9s3KJQGB5bp8WxMa1e9ZaL/fs/bOHfpmD+OzBKk8WEIm+inUgRMoH+zmaRRiDY
0WEdPKnZ4pL47ATIVRkEfnmPQCTTP9BAiSJwtj1jDKjT5lTXQpRZ8vG3AyRANoqt
wHH5vI+E+G62J47oh6f2Mf5iKBxgioWmXaWAu2oM+k8oa4UssiswnSyENKgJsgP8
wxyNwaqOKlJ+vNV3JkLlCVM1fcpmL/3dzVJhCpzAH++a8mWMihNXHpKPG3qRDofG
aqOhPXDme7QS5U0PSa3Rt8Q=
=wNSJ
-----END PGP SIGNATURE-----