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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build4
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
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 20b9ae3dd9c7a20a0f65da91a74943cd4b746f86 430263 coq-elpi_1.17.1.orig.tar.gz
 ff9011b7adaf6499d74e8ab5152855f8137382db 3644 coq-elpi_1.17.1-1build4.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 a36eebfbc5a0fa672d079931674605bbc14eedf3a278686328250bd0926a0ac6 3644 coq-elpi_1.17.1-1build4.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 587337ae810f92b1547dafc459a42580 3644 coq-elpi_1.17.1-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq6AACgkQ808JdE6f
XdmJzw//RljwuVFh01CxSY7CZHL5b46H90/Jn8ORB50JyHhY8r9xR8tAnhFLrr1i
4NeIuvTmypHGvOYgcqJGMHpViNq5GoAncpm+yYfczzp+5M7fZbDSnwzuK+h/ormX
vbx/Rc0OCAlisC/HKYi4YuuxobhlBKeyzcauK5nfxbxfNt7Bliw7DOrl+Pjm3FMS
P164ve/wo77cERf81FuS1ogJ2dkP/z/3Wqf+vrnvzSTHkURCmIG7yTSoQEm8YIex
BncJBb/RTNuPVH6sKkuJ23M5rhvgSwXllLJWjaM2ND+0q+MmWztiZRwqwcXWvOcH
hpuuSn9V1xh0bnE5xFgEfuKxq3GJ7lo36w2/3INC36d4oKIcGTk0QR3X69FR8DFQ
VOJbyYQRQu/y3lnU4s0faCye7eOrrbBJMii7Tuzzgjmzdridij7Jvk73UcxEDvwO
gA1Mct6DxaPq0DLVmzy/znFPgqqLSKmGHPHKWitU1jmaHBVMSmaeVMkpVmr6XBQu
bU7smEqIkMI7e4qxXpaCZ+pz1gYV9g+y8xNHj86CV5tUcEhO4clZomodepQJCSJs
OKZooyuaKR2gAQLMBt4qdGcQwZYbk6aagZP7vW1ISuRapBHirIGesscwGvx3zGOc
9CGJ3WjmCDVEuqi/dt94wpK8F+ZzK4KSQ/yLL29q82UKwGJUj7M=
=pJ+c
-----END PGP SIGNATURE-----