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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-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
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 bc5530009c9c3d0173d547360f8f292163006853 715777 coq-elpi_2.1.0.orig.tar.gz
 709e54f8c9476955fadcd52f4e7c77df80160dec 3724 coq-elpi_2.1.0-1build1.debian.tar.xz
Checksums-Sha256:
 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
 e6c07509133a638116cc39cbc00b059fdf132f9d05c36930600cad6cf32b04bb 3724 coq-elpi_2.1.0-1build1.debian.tar.xz
Files:
 8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
 98921f6936f73110f3081bfb902029f7 3724 coq-elpi_2.1.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8uwACgkQ808JdE6f
XdnTlw/9ESDQPpy/oH2O+VR4xiLVemKzk2VEQvGi/izw8z6n+MaHUi7Tu5kULQuY
gthC3qXHVp8zLlh4i50Dd+B+d0QXEiqf+Zgco/Bet6rStwRxzRqTdUWJNqbpzS07
Y5yJWaKaUxEGbxQaMdeTaOqH+R5+HLzXE7rSezLMp7gE5mmZofXuR0wHnTVU+/VX
ry0kXuYQnzakzQdKfb4CwtcD+iC5ih5XCN2p+KDivqKGPYx9dmwp9JkDgDzfgwJC
hZ5QydAro0GM2bl4PS6IUPBv8iYAlwgPSGAwJMBddjWird7x4E36ELlfQTNwgDQX
eQVE6ZfOkO0/BGyD25ESoKR4gcpp3aPvymtckhOifrFa63yWRNPxFZV2lM63W1D3
ah6xutXy2+vG7eD5PJFsZitE2YmFMS9rXs1lEYxqSQp7dzxsbQf2Of5xELjsm49T
VEKvYXw27UrRI0FENT3kqcRWLOClmnP6r+RSLeLhqinVwexwq5VCmYUdKsOKy/hB
T5ceF/g8n6/DhKIulCJLjwwMCfc81GPjmH00h/yYgNRsKHUwTGQZeZ9tIALP0EZe
TXdoU++JygyPNhf76kCb2FRnE0LKmjR/W3nIpqSuv3Ns0IfKEIH6UCkYG+M3KxCv
uomAM7wZH87X6CtWRp1UrrRz1ROt+QSPI34HC+uEs6QbbK5OiuQ=
=OvT4
-----END PGP SIGNATURE-----