-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-1build1
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.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:
 a51d09d7080db15646e0183a35da5247f372ee26 73595 coq-gappa_1.5.5.orig.tar.bz2
 1e10aaed6a3451d55b821b5d0bbfed82d0b70fba 2280 coq-gappa_1.5.5-1build1.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 cd55b7d6de310ae11556b1be3cf2347f20234b6c19d4375462bacc7a82aaecac 2280 coq-gappa_1.5.5-1build1.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 ecf698e9563584f025920903087a7810 2280 coq-gappa_1.5.5-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz86QACgkQ808JdE6f
Xdm1DQ/9H1DUbAkDLhwjxvzReOYHoQeTbs+YQLxgwbkHUWm1BYhHiqtVhx6RhzKL
QA0EZVgeXpnUHp211Y6k32uuLXko0MTRRcEo8DCyox9GCunql3gsOwGII1E6h1xX
229GuJjCoAl+DC64Pgv8ygdP3/w4S5/Icoo4u+SsfavmF0MFeZkrAwtiH3GJDMlU
Ui/IRrmvQyyav9k59rcUyZ6OJZpqcayvZSs1iXv3tZj/S5e57T2D1V2udE0dI9wI
5JyrEyPD8v2pqsGqkE1xlgRvDDLfDUstB6zA6C3qLgt8biC6dtDjJ+vHj1oTYXuJ
s0gd2aHlG8XtfxJ2nFbeJo/4mYI36bS7SKz1Qu8zHmr3WJxbvOvoRw6bclrUEas3
X2fgE5bMC9PUnh+4tTJg92edtSTtFlqpSC+PY5xqnHWziGZW46gHUWrYZ11M9DXj
PvUTkgLexEnB3Hefafba08BC5iX+U30/A20QDevb0cyxJ89yskhrBcA5cV3mJZJ0
yhpP4DsGwMOFg9riHpIOldnTsGotbQJhuHuN05ylGVcSsvJ7vFdutwq25/R7FbgW
OsbX+aaWzld9EjTg83ROeC3n9tJB9khh3HJFm349ObZLrV3WLaer9yJ+t8wO38YO
XlOp+s17UdOlVu8bJjUWaHvHqQKQyg2Wa9kMCqo7VV7iEikPpcM=
=rb0l
-----END PGP SIGNATURE-----