-----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.19.0+0.19.3-3
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:
 1240ea1bec0fc11e4444c3cf7a3163a54c856d70 179654 coq-serapi_8.19.0+0.19.3.orig.tar.gz
 eeaf7018659ead567c3ffa4c2f30fabebf57c5e7 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz
Checksums-Sha256:
 48108b534c7859918643f4aaccd5816f425a8445a8a79a662fc41fa465a19201 179654 coq-serapi_8.19.0+0.19.3.orig.tar.gz
 e6b849f64aa421209a17d1855fd062d7dcec43c198082061ddc1f4c057d4e59f 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz
Files:
 7151e3da53ed19f2a38e77e26328c781 179654 coq-serapi_8.19.0+0.19.3.orig.tar.gz
 e1864d60ac30541f9e4ac148de505705 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZxSjkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3xcP+wbc5E9pFhEtNFFBWerTxVtUJx6rVzYD
wSQqOtbX95/dWNewLZYOMeP+VXm4UjwpWJOvFvrY+jC96fBV53/3LUrae/PMjzvN
xM0L0sGW5tASibDYsmI0s5qamJ/CcNc7h4JklxOiE6GAUv4FPT9OmTUvXfR8JnBe
PhqJZX4/qI8Xp1qY59pgZ/zCXtPlW0L5mqDUYib/hphBqnMwHCUnLVkHoHFJ/RcD
kcDtfk2Q7GpAU1VOSwkfUQensZai0P535G6GdCBSiLqhkb+XthLhdKmYpws8/2ld
Ovg3t0M07peZPKeNOc6YifTBfkMecgs4l5+DbHWifffWLt3/tg36rg8QCWlxM6D7
1sfDBDQ+MNY75Mna2yhyOoSrd/r9PNLzj5nVweiWW6dpd5lHwrFE7/GDR2hn+ZyM
isX3uACLIujYMrlC3ZmBD4fOts8WPg4dsNB6+f+UI5PS5P719ZWVc3/8iYk/xDGA
kHbt4UzGZCLU4mljfgUh3B+/657LtrNAYC4MsQDQh6086b6BnlE4u4Z9JoMMJpVn
aaDNf0B3BXy/yT5UkVC/YoJCbzZDAu9UKRtKuZLPsLpuN2eX6u9e85n51Tn/9hxz
xi0opJcZ6lUPIkO/Uw0JVxrFvLnjAqTs5IEWBKgRYntx5xrcuPhtlLJOF4KpcpMs
9G0emz3ggEaw
=FIEo
-----END PGP SIGNATURE-----