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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.11.2-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev, libelpi-ocaml-dev
Package-List:
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 759e8f735f2fa87c02b73d12de5afd2f33546bcd 351528 coq-elpi_1.11.2.orig.tar.gz
 65362d7ced6bc4824ccbbf032da65477c08eeeb6 3932 coq-elpi_1.11.2-1.debian.tar.xz
Checksums-Sha256:
 9a2d86ef36a6a54f0d8ea5e3a2902793a8a9d48deaf049052ea17faea750ff34 351528 coq-elpi_1.11.2.orig.tar.gz
 9acc7b75ce9cf2832e8da7bc09d0940d0f1b3362b990f8753411532d53229a29 3932 coq-elpi_1.11.2-1.debian.tar.xz
Files:
 5107b517753f0b003c90a83ef22a7c39 351528 coq-elpi_1.11.2.orig.tar.gz
 a4405ddedaa6ba5820996e7ab3ef3992 3932 coq-elpi_1.11.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0GMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7BUQAIsJcTWW/kpJ7ZNulhRFk+Y96NSP+rRu
Q8oKvrYTUq9RGAE2GvJU0hdB8aVfQTckHsVnwFv0J2UTS+vC671YpVCn1zIYmKRF
BQfFjoOGt5SyY9o6Aq8if5n4aaWxZNFZ6xjicUeo/hPr6YZAfUUZMkSIMH8xymFh
AL/NCHtMmce4H2XyTWzdmAob4mFP8TWdflChhDxZTXFgW1jewdQhfwlGDj+qreNH
bqGmpM/LMDyfPZufP6nu+o16o/LaUYcBFw9prt3O2PjMjNR54W3CWSvfXMdlAMNY
oe62C1B9vVyMl/2fGmSXsBe7OAqTmhSQXK1SIKjkPCuvN/E/0y7bPd6OqA2hgZl5
0Ks9TFKWNFFACjXJWdaJEBHH/0qnNrM/uORdmUfwOI614iWtyyX/e0qtuem9uYDs
JrdLJyNwGU+8phKiBGSi/RRiuQTSgxlvQn+5OXoB69mqoMAAELE5KZRFxlkvC2EM
HuyAi8Ut6///UYldenE8PGWzmO7hZgC25yvWQcbBAzok9Yc9WX+J4My6A2ycHVMo
ztAZL2/r842TzeF7Y0BMUzFpbzLaYli+8+M/qKGdwWkSgHFjp5o43qEIZpTfPsB9
STKxB2JZCNfY0P0QKoV0lYO8VEtc8fPGjczHIsugB5CJc8S6n2YOoeFIwX6YacfX
Wra3Y8vxT7od
=HE5l
-----END PGP SIGNATURE-----