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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.4-1build3
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
 0a5bf52d68acf88344ba8d0cba4902e80aab0edc 2396 coq-gappa_1.5.4-1build3.debian.tar.xz
Checksums-Sha256:
 544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f 73571 coq-gappa_1.5.4.orig.tar.bz2
 e85b547ed9a77b6558677495bad0537656ed1858bcbc107354cac75d8240beab 2396 coq-gappa_1.5.4-1build3.debian.tar.xz
Files:
 a4dd81d9c28e0382d09a3417b4c93d08 73571 coq-gappa_1.5.4.orig.tar.bz2
 24258c6b27be9b1a413752ee370fdec5 2396 coq-gappa_1.5.4-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmf4ACgkQ808JdE6f
XdkvPBAA1WN2S2j//qoKg9ZHOZqUAWF2lBpMg+x0U/K95VAujCvhq3SlZcKUjeYD
xR6FH6TaaAE+DyVLBt+v3vdEss8Mc4gHAHYFTFWDbSi8YqDgu+EFTgSZTNSsqQ+I
T9Qwiy5tkceNqpl3QMS4EUPfziaZ4+t7GkVVoh9VFCKyAwKVT9TAZabxnv1hWuv4
weXHcxdDxB+DHrE/QIfgfc1lpDV6fQByFEtAXX/hFCkaO+4PsupoohWlj/Qvbep0
i61BztjQW1KQm+J0BZvaJmWxJUceW7httejGO2q2igEox8wd2SrVQGU2aSgqGvmZ
JZxAHpKeznXNvQ0KHCmx4Fs7eEAL25nNVJLpgeGvMmMtnYyBhzIc3ubeHZu5ALID
sW2nyFVRB5Me/eUDRda6KrMU+RL5WpGZs9P+wnYDROAEpoDsj+T6l+nV8JobKnc7
S1oh8edrhtWqLv11gu9qIE5fR7la8xZn8JdA5y0oG1fWwp1H28E10xOb54YqHr5i
Xa19u0XTon9sD+6LZqUvIgEnTCSx4RAwCeV6Uvsa6ksfZlrN5h/jUzbIVTcRhOfa
mCtS9paX0cEqMSLqE/lMdcUFkqhdWgWlQR4LMrEb6tqHB9XD016Te9YfyquTq3vn
oGAfG8+awAZtw4fGyoa01dqxd6xh4gGpIq7I/XCrWlSx91wxBXI=
=iqKQ
-----END PGP SIGNATURE-----