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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-4build1
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.1
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-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2
 04bcb6b2702080bb3bab654651399c5e00e977dd 2032 coq-gappa_1.5.2-4build1.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 54bbd590ff06db9d4c88e9db62e51f5dbd01ccf6ecdc4289e4c524986774f1c4 2032 coq-gappa_1.5.2-4build1.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 ab2f1580fb36d573e93fa5c251772a72 2032 coq-gappa_1.5.2-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBbwACgkQ808JdE6f
XdmzEhAAytCMInzhyBF5aFPF1KRsLWpgB4MbfUqUr091Di52o3d7/w2qOY2bhPyf
tnuAdm0OvT2kqaSrvpv/7c0HRiaRaHDABxPqK30uQ/ekFukcPe5TtYCACV3KYOO3
rm5oXpbLRI1kS6tkc2HEFG5m+OAKeAEa207L7HEovDgNSi7xg1J4BOZKVx/p9HHd
Tg2hA5eAl+znAoOx1Aa5aU4HZo+tKldMyvQ2MhxtYy3ujPFYswa6l5IbPyj8hlNf
PZVCrnRGvPwzTbZ2L9PI4XTyRUAUR3Nl/QqeB8jf3/g9Zm/7Dx3hMPy5/a8UMwME
sLh/uYJ0M72AiOzaI8XMn+ZmuYBW41pD1T1Fq1Pu3QwMzE0lB3/nayItbGFRq3p/
JaiGmTwQ8InSYpry3DpB/sSRg1G2D8gd0m71QdyAcQjjl1ZFH61uXZCtLei17Wws
mRK0X13eqmk87JdtqqrtzOyLLq38YiUaVpYSX6XCsxujDbeTmU+wlJYXLlmzcY42
5EAy7HkReCtQkq5yvtob0fB1iMfKAFINE4HkJXtOJeP3fJSoUPVvTtp6fb1Qi/St
KDjU+AfHT7vOY8v+7ADWLtrADKQnmBELGd9ta3PeRsEnsqCar7ZFeeewqysOvtdM
qDlJGAme080Wh9vJ7nvRFb/JrddERvN3aaDKiQDszMGs7uV0jUc=
=ow6W
-----END PGP SIGNATURE-----