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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.15.6-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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 6b3879f52a9602baf96d73f85756839faab32f35 404950 coq-elpi_1.15.6.orig.tar.gz
 14560613f89ffe95736e5533c25b75eeee7377fb 3328 coq-elpi_1.15.6-4.debian.tar.xz
Checksums-Sha256:
 73539a72340aecc2309f30fc1069cf1ee1619d661847494d95a815ca6e8e578c 404950 coq-elpi_1.15.6.orig.tar.gz
 6016dbb5360a9acab71fde948f34eda90154d6dbacbaaea36cf991613934a1f4 3328 coq-elpi_1.15.6-4.debian.tar.xz
Files:
 a51added770e2b7a11767bf996c78d00 404950 coq-elpi_1.15.6.orig.tar.gz
 d56ef3afd032eada835055463722873d 3328 coq-elpi_1.15.6-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNxWBISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkMwQAIlPxz8jIgmHYRWzALGdlWVFdpcXq+Dl
Br0GFsfLmCz2sz3OsCpCgUA4cOFKZEjk5sSn51OuHKpI6TTPrimPxw5/TwmgCZxC
CJMVetrZLC67D+X+rFgaDa8VB9CqcwzTnJbKvCuri17QsmLg7vQkyHi4rrtNVIwr
y2fLzy5ES7ar0MO3396pw2xEwCSVmP5Fubec98lzNwyKBgD2IB6kf1zMdtDMw+aZ
30szJmUYtdkbvVgZTQVEq2tL3bIOY2dHqNlPzcxeYDzRrTxJgG+9br9bxbhAo5of
stJvyAKclF9FdpCHFbg2r4p/OYchSB2bbR8ZfS6HAEoUfh4UnL5ke5BV0tWKslEV
KAq5YfZnHrX2ueFfYgAWy11humL/XtfGhfdvSBzFJxdi1YQM23Hl65DMbNe8YYcY
5Gpl2LvFuVYuTytopZFvB2ikYN/Gh7ccBskkegeQdZEzKvadwJr5K82C+lJ+pb7l
s0OsdkQotz3Er49o9Yvsimwh4aLrgaOvOi5m10KCGX9x5I+B+UJxxAy9Vi/NDPQL
Sg6ZMwecBPo9W4OLEB9ipU9QQ0E+zTK1i0LVHG1SZ5Vuqiw8lcPJBmVWWyv0LxPO
WKP4pyzLim9c8+7+sxDruYZN39dTYu1Jt/hjbrpLPEtWhVduT4vuW6dyO1knEdPc
HBc7Hm2iJWbm
=E6zH
-----END PGP SIGNATURE-----