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

Format: 3.0 (quilt)
Source: coq-serapi
Binary: libcoq-serapi-ocaml, libcoq-serapi-ocaml-dev, coq-serapi
Architecture: any
Version: 8.20.0+0.20.0-1build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/ejgallego/coq-serapi
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-serapi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-serapi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, libcmdliner-ocaml-dev, libcoq-core-ocaml-dev, libcoq-stdlib, libppx-deriving-ocaml-dev, libppx-deriving-yojson-ocaml-dev, libppx-hash-ocaml-dev, libppx-import-ocaml-dev, libppx-sexp-conv-ocaml-dev, libppxlib-ocaml-dev, libsexplib-ocaml-dev, libyojson-ocaml-dev (>= 2.2), ocaml-dune, ocaml-findlib
Package-List:
 coq-serapi deb ocaml optional arch=any
 libcoq-serapi-ocaml deb ocaml optional arch=any
 libcoq-serapi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 d96fe132312f0a69b6ca54290e790299f68f9e86 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 3943c6c4a66b29507fbca234ab040dfe75be5e9c 9212 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
Checksums-Sha256:
 0cb0c19663abfe2ddf849834c7632b48bd48f715c0a912a12f0945b544ef07b6 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 a6e2620e75228a9560bde1a937a86542d18c30e3a4eb50fcb1bf1ee6ea1971ac 9212 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz
Files:
 d2204741e31d77d86f734a9e0885ffae 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 c3d59ff06487228ac2bbbc755ad1e0ce 9212 coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme059YACgkQLIPbyOm9
DjdGZQ//YpP5kynbYwJ5d2ya91qMoTgEWuYoSRBy/svnPV/dfxmCPEmUnFwu6LcH
vEpfhJv8FlvvhGIEfyWHvJ/loRlYPWwFbBo86/PW0FWNoir+c7uAhlvVDor3Pq+e
oiv1Ds5yqeZdxxgpQvjIyIQDGpGQCRZ/xt0iGx912/opYdbkAFH8vHSe3oW1Ivmb
MuSriZZD7IF0N/D4/W2BjQEPiTkzEUZjtp5IUN1DAdgTxMBmhKmSMgmXPdU2nuYw
xGaxTOSQJN0UxByWIdjFnif9mvyAprBkZaVh05KdZD40h2MRGa0ebIFkteugYVkP
oyt+3hQxzKBQAKZR8FT54NaAtKupld2V78nyIPWeYcmuhEoB8kiDKbM4KPFzm54B
c0Vi7+pQxu12Al7arA8HEBAZ7lI7rjhH5ImS9vny0yn1FJ75CnItGFX8zd7C73TC
UMF8T1L5X+nvNRjWoxORjtiw0vZrUnuXUR+0UM3/vR7Jqq+h/1kPXBRJOpNN9oUv
PFc2NeUFqR+Qxb0CY3oRfuQ5dvp5q8PvngkwmjOg0KAFWAJKKhvJZ19o/M/Xnqoa
5clTEXHiEngvpJzA6rfze/U6EWC1SjNMQiqlkh7r5uInmQPempcDHLDK+GhkGCrk
ClfyKE5vCCFLuo/cytdwuosvSOY9EjyRLag7qraARVZZT9084n8=
=8p4H
-----END PGP SIGNATURE-----