-----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-1build2
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
 6569e03a8d30c0a5e670191af6e8525f7d706140 9164 coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz
Checksums-Sha256:
 0cb0c19663abfe2ddf849834c7632b48bd48f715c0a912a12f0945b544ef07b6 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 31282084b3cae4f4afb3717555dd3b8da00b3f572b3eb0457a53512d3bba41ca 9164 coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz
Files:
 d2204741e31d77d86f734a9e0885ffae 182481 coq-serapi_8.20.0+0.20.0.orig.tar.gz
 151cdf1db2fe5022f7e49156535c5887 9164 coq-serapi_8.20.0+0.20.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetCGsACgkQ808JdE6f
XdmMZA//cbJAV+NjWmW8XERQ1+JCSk1D3lnS+ZcFtBDWieC8uO4Hy5U13Wp1AK0O
z/qFMmdgJ3/jHht2jw7wVdbvCj7UbfwtsqE2zardqJoIXbWL4/yna2FOccmI0IzW
Pn/Zw8wui2KDlw0VaJyPXE3JlF87nfxfKRONPDaS8QoUe1erkCpSOUFxd7J+38+U
xesOUooHcVjB7okW3spRtqIhz2nXSdeWcOwzwa9QU/RRS3f5IZt/qPy6fsHsu0ju
7Ar4vBCjUIiBjmC5J3cY9eItwlRKk+G0Udmtq9nbxT0FGVAmhkxET4xOm5jQg1oo
4CPmTpL1At1NGhvtduiwZkZi3EWP8n1SCDYXsGyIbDb+cW0lgouMdz1eSNwEk0Dw
azj83aUaMYb4CLUrkUWqOg6/PNcyCmWxNQlTh6o4o7eDU0RipRD/o2DdyzGJj3Vk
I66qt66LmJsE6WLdvgPxvdn94bQxT9rT7RiSkZptjZHwzE/XiN6Fxn4I6ydPqZ49
UuPvTHv1qAgG/FX4D+Mnxb5xugtzSHm7ACo8klYqudB+LXj9olwOg5UIkcN1+fFo
MYHjAE+hpH/Epobj47PK66sMqAHhveV74gWemZjCDxKNfMlSATxwZBB4JlVhweRT
YK+qqSImKHZhyXUotcOlESTB4oWKXuK1OR4Km+4qJNDdT1eHqqo=
=c+JC
-----END PGP SIGNATURE-----