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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-2
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/math-team/coq-gappa
Vcs-Git: https://salsa.debian.org/math-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
 10fcb9109e0de27b8a579c96ec484346ad9fc558 1648 coq-gappa_1.5.2-2.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 a94abf6efadf78490e846ce1ba02d48c4a8e244c61f8bc3cbdfb20015f58e707 1648 coq-gappa_1.5.2-2.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 0e6b7b9b105bea21c896cf4106a168b0 1648 coq-gappa_1.5.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVCwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJRgP/1aqDjXMudb6jWXVehurUxJHNWI5vmZV
EPTxO3OJyOCUQNUwRIRT0Ew+XTb4h5Vvb1u05Fus+vN1sYT9suNmFnhC1ENG5NTn
Pe4qCwXChzS75BzKdbvOSJQKn54TXiN+SFbi62tWW13oEYLowYLeYA5ZPjNc/03b
1WJhExS/UCY3WYLB1QdRgDhlm4pFUmRFs3lJhJj7EnsOPpruIynYxfimcVtFPSWD
ukCyoLUxJYiUL7m0rqj7fwnvesvpnMBUGkYa5+axLrRXBgPW7eH6ukZxcnWLYmmo
UPiOTK8YRWSGL+dJlgxVZr99sHt5HUCmkNGYWYqbmK8vXBrmARF0gPha73hB1kRX
su4j6xogmPHQ1yHqqkDe1u8rpLzb2rR1yMZKcW7kmmtAPE09deDfknDCFEYksEBf
ozKjUIGs05SSVoHU2G6XRs27JnIGKqFYfGlb3tJV37Cu7xdc3RMYkpg/krP43N+P
5fLzleJCpa+hefmjFL5buN8Fq1ams2woBdbHHIpL/g4cL4CghqH369pbu2cpA1kH
f16W19ry2pXKzi6e5N3eaiuZuEMRNTF3reA2OrlVK2AKN33FoIqv+jzLR2xHLkJd
z84M6PG6U0u8giMR3DGkrFoDM7evFEgDLnFb+liW/EvrgJMx/xsXPHQXaTstvc2r
9Mq53FgnAq4F
=n+vd
-----END PGP SIGNATURE-----