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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any all
Version: 1.13.0-4
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 (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=all
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
 72148ea543013ca2feee76237d29d0cb9c821aa1 2948 coq-elpi_1.13.0-4.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 c34c50f4efb39dcc971b89190b4794400fc4aec6bb8060b57fdd71836cb4ba26 2948 coq-elpi_1.13.0-4.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 229f0b0598d45421e9a96c5a7ab52d00 2948 coq-elpi_1.13.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJT1RwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgo8P/imOJvbLHUkwG9SBxC51Z4GMy7GaWJR1
LNVQ8YyEFyRfi3T7PzQa5ubXpL7PV/jq2ZQ9bqJdy3fiP2nJGKb5BNQDgMijJ9ni
UkYEBQXH8pYxEYIjdAWQjXAXob2J9eWGyFdQoihYzi48j90UHmWNKnugRlcWFUQ0
qbcTwsFVa8OUjmn9YPtkp1Ns7s3z9w/iHs+qtLD5fngS6TqaK4TZmJR2Uuz0hKGP
/C3XVHr/YvM5dlGvv3E4fDzGiKAi28/T5n2Gs+LS4zqXe5YEYcb9j2cz8RFrfs/K
1aBogPgK3bBIOIwrJtTHUxkxMIqJUEiBz6ms4vc/hA87PuLMno9Dgq/J6xcJqdrR
CMuhC5UFBYdi9qlrMUvUWX7jI93avej5FARdvX2pHle9sG2Eko2FRmxfwcEbQIWm
PytRzSYPhFgsiGD5KMk3U7DCieXZbKFjX97xoOV5IeoeISnQwdR3ueLo5WBtK3O8
5ywlTL4pLPFJHxihBXDDVQ1HY5z8D2nGPXkksSK7Ner+QRiuR9ZMN4y07/F+hI6+
UCFA0EAVRV3Hgo63SMwnKA8gYAI/l2wG9n9pjbeFbgFFdTrisHyrA/4OPoRi888R
EtRWK4QyC/DOio7hImblwi1CvyW1JMYZKsjJhwTTCW+eM/Viiqu/cKbk3tAaj3/5
j5YooMTBAPqm
=37TK
-----END PGP SIGNATURE-----