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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.6.0-1
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:
 385841bd79cf860d986345ffb54045ca02a9d852 75644 coq-gappa_1.6.0.orig.tar.bz2
 876b25b65723e676431855a6e17109c900889a25 2344 coq-gappa_1.6.0-1.debian.tar.xz
Checksums-Sha256:
 b928c74832ad4e2442c702e99f1be06682ccf5ef23a913bf4a9a0c2a7f813497 75644 coq-gappa_1.6.0.orig.tar.bz2
 a16e3862b44fd23e46802cc72b3791d572aef831ce4d89c9dd8f61c99ec632d8 2344 coq-gappa_1.6.0-1.debian.tar.xz
Files:
 98009fef3b676b80f457b4ff5c4a466a 75644 coq-gappa_1.6.0.orig.tar.bz2
 78b03a4656f9e83975fa644a97fe2d7c 2344 coq-gappa_1.6.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSuD4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYw9D/9pAaFr681Pwk+eOC8IMa6p
5v5V0/p+pZjxsKamM1KlVrLbOtaLVWPG6A9fItzqiU96tf4B2yBqqoHgskuT+PI8
daMtf0NBLcnFrb2P0Pm2ZBAHxY0ZWrl+IoE7dMepdvlavREFTLyC5kvWMLoPB8KD
sMRwVlFLmwp2foeE7Femh9Tkd4LfcY4obGXo8wOTA4viHpkN/rVnebek54UgThJ/
kwOVfXZwitILT4avlb6fWSSVX1aeo8Dc3xYDw6/My00qk/Qx3+X4EBOJ4R1Zflkq
NrK+M4AugrI96ptj5jbRVX0Wa1VIVEbwCjUM0NPIJbrdAUZ/szofUQ7xGGYQdyTU
THXv3cWh7gMNwzGw0zxBlxaHc9+aXY6Czt82kA2jRZuivgt+7l7xz6+y5CEWvWQG
PectA1YH4uf33nsa865SPIk6ZLjBLaUf4v+AZuRQxzwob/QXZpK379Tz5Tk7eX3O
H0j1WijRl6ax/mkiH/vQibws0EcbayEs1B4pi1F9u3ABfOM6wHO+n4Mgycz2c60m
n5gY7qG7PM79qyrtllk86o5KsoOg7lY6ip5CFkiMrUkoRr1JrtXDgF0QxC+4BN20
OPRcE3jwCPtoSQy9vaQMraxdHcMXkcFkA/moCI2NDCuYB4qT9R6W3rPJdzIUP+5S
poKsRues3I2m13Xs/bIbhA==
=3EAR
-----END PGP SIGNATURE-----