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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-1build3
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
 c4b5a22a63e0e56c310e210f875cd83cff54d021 2308 coq-gappa_1.5.5-1build3.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 c728ccc8cc2fb66932d0b7ff11d31c86ddce29d89170044affe0ac06b08d478e 2308 coq-gappa_1.5.5-1build3.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 fd3102d7c5513c6d3619b6fd33fcebd8 2308 coq-gappa_1.5.5-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpyEACgkQ808JdE6f
Xdl2yg/9FyqUn/ieF8IX6iGIsyAc6beY+ETsFt3rWjEAm1tBEWwaKk8++8qeJHZm
xAACXBRfsyHz5RPivB7MrAJD264MRU7cdU0ezQbpiIKBshAByCuZqZEixTc0mSFO
xmXUHMMeLV1F8ZHYydjHQEHTjR9TwP/3w3BQUaNt6Rtfb3Me9dY3rJKcBPS3x6vR
PoDwaew7dmOcGfp2Pc9aDgQmWgSeSESr7kfv8Sij4wNrpEConeE5crAYi+ua7m1g
6M8CqKINzRFsRc8a7q1Xxk6Tg238n/5GatEdKDsarJFyUU60E+T/SG54Q6hVi5GF
6SkSWMbENkrVqAMcrPgq6BZQegAL8Xdzg1sRMwNVHDAcHCS4qDUdbeHS5AD5ZmTc
YnmGNJu4sdFLCvvWaSo2TIIDERVv2TdXqPkj7E2B35uhr9DofCPzgjIL60S/zTKG
Pvuvx73nxeR6kUV2GxXDlwQjCVWVdneLXUVsGMfdL+GJrQcRKEXb0B1HLfI9Rop1
4nvWbhGJmZywaDeth/i5EqQx2rGY25nM2b4BRKYHw4gXJZ0m/J3XqOMUcvHG775r
WaUzF8opWqDoysht0if5hatha5c2FRgSuxW+pmyV6qqSNIpC5K0YPEOp/H0gfcLl
XVJvfVYM/MTqGt75f9dfezpCYuik328Ri9Sphx2bEsbaleKXNcU=
=cXFo
-----END PGP SIGNATURE-----