-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.3.0-1build2
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.7.0
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, elpi, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 d8155b8c3c4d7aed87ae0a08a4024f18a58b4e1b 734643 coq-elpi_2.3.0.orig.tar.gz
 b597c4494a75f19ea21efe57ec616d21048902c6 3828 coq-elpi_2.3.0-1build2.debian.tar.xz
Checksums-Sha256:
 ce8f1d1bd95744328040013ee5843960604acc4961fb59f1fcf5f6b9dd03b5a2 734643 coq-elpi_2.3.0.orig.tar.gz
 aba439090e52ef727367abd9c970c15a72441fc558344089ce1746fbb62ba02c 3828 coq-elpi_2.3.0-1build2.debian.tar.xz
Files:
 4c35df6383b33476a1d2c6dfd3da018a 734643 coq-elpi_2.3.0.orig.tar.gz
 5eb8023fe590495bebdd813e0b411cdc 3828 coq-elpi_2.3.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb8o0ACgkQ808JdE6f
XdnIKBAA1gR711DeJBiJyfLb0s3H+c+h6HqCE6+SROawuNtLwFwnClK1NmZj42UN
Pgdc+k/Oec305JNy8BJyf0qAduLwaIaCLqe2wEOcJ71jTlrk+yHCQjjxh6PL6LJN
zgrVxil8npDFzc4c8cS5UhLKBY6ykrpdsOioJrWtC/gxwQ4d4Y5Iv60GZ/8CnjBV
39Nnruv32hnHXCTm879/vDUO8RL0E8GDyS1/tjS5usM2sZk6IH1x/9JRGtgWT8n0
66r9oyi1G9Ce5cjrRwDTEMP3f2dDB2BDGUxjballN43isa3ooIMudIk0j/4Y+pvV
NZKCj0vVwGhwozBpnyZBeVm80vd+Jv1CMMBg64+DJtB5djKPfFUKsbIvBjePmrzL
YUrJjEnE3g1QzZXjIhlAL/WMU3ro5qOjHzu8s7z+afkbnH5DjPzt5OkEWDHfqACl
FdH6DQrKm/8C0iUCXMy6VW1/0PcimtqqVAmlnfjbWGizxitNIyPyBasDJSXSBWUR
IHhESOUC9Jl40F69rSmNELvsXTQZR6IJ15tGcgbMlAEQPatIqgAbxfErmNp0syLr
l/LDUBr6IO+bfopsNC9vwB52NAZVjtdOqPoPmtAHqKWjmK1yxtqC1o26L9bILmoA
k4cLrqf6iDvPbBBf7BBRY2l8PoCZteT7O4oTCncJ1dCSg9uFviw=
=hjcP
-----END PGP SIGNATURE-----