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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.2.3-1build1
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.2
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-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:
 bb783ef32a84bbff20509081767d0ff41b556705 753938 coq-elpi_2.2.3.orig.tar.gz
 9a2a1d84fc2a1263c0faee56fe37149df601d6fb 3780 coq-elpi_2.2.3-1build1.debian.tar.xz
Checksums-Sha256:
 3166d098ba4a05bdb7036a653aa1793ab7eef50830e37db3d73f15a4faa64cc8 753938 coq-elpi_2.2.3.orig.tar.gz
 dac0a83e4b173cccd51d4d854d10d7c2a203a213447c5d316e8ffd13cca74625 3780 coq-elpi_2.2.3-1build1.debian.tar.xz
Files:
 90e6b8d2397729b5d1725fed35da8cef 753938 coq-elpi_2.2.3.orig.tar.gz
 cc5e44cb8245ba44bcd93d03b6017011 3780 coq-elpi_2.2.3-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m20ACgkQ5mx3Wuv+
bH2GFg//RB7gPZY6K+zSm+I2BzNeavwVbp6vzO1vAMmgRAN9Tz5Uy9Mc2g1Bo8RE
+IeIdc6OZCOBtRCdJzKEZB4/N2NgqKMdg2diYNcJGUbB6c2X0SHAn1B71LKQBxb/
dmcDa1sOXK0w41nz8E45SWayvV5poiFpNiVctiUruVBtKcH53umZdwrvc0X59HCg
QzKB8qiM7qqJttBIesJOXr0Q8Hrsl2uB77p1kN7x5huPNfOTc98qB4FFt9ylnTSF
MPG6pUt2SNgNX3+/iQpaSsoTdidEhWCBsQwc/6Qzb1ztL8OCjxbNawg0Dlm8yBpE
W6jHmDXVdPWLQ/hxMzU75e4WeXC0iBX810qLaEanPJDQtCVEXALhpP0qP6cK07Bp
AziVkMGzp+PiHitdZ/FKKPf0tdTai3JmzUdpPKl05Z+EZc2FRu7RpIF4krmGF2Uu
JoVIYb8frluLa7qolIyzaDIAwcbZRGpn0GRFp37ZpUfLaMuE7TCVLrUaoVVrY985
zpZvPwpEaylZJLNki8mPxawM4nFPjtEARWwOiE8Cmi7NwS1qiiNGEzL+jUEW8/hv
qtKwuOAk6/BgCmz6CUf6siNG5OxkYATzPOKtc/E3zJIxkaVdTSYxby+jhcmJUsgS
VvqEV/z/A+rol8ZBBD8BjeS802CicYrffzZV0MrzQT7MnYEZ4mw=
=A0p/
-----END PGP SIGNATURE-----