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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-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:
 bc5530009c9c3d0173d547360f8f292163006853 715777 coq-elpi_2.1.0.orig.tar.gz
 b82f43876716e5d4efefb51b9326ea1367d18d43 3804 coq-elpi_2.1.0-1build4.debian.tar.xz
Checksums-Sha256:
 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
 7ac796e1b1a8bdadb594a40f85c63e1b53ecd98adefa6c6b7f5cf0bb49994180 3804 coq-elpi_2.1.0-1build4.debian.tar.xz
Files:
 8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
 e773b4ae5271659664ec574f347a3c01 3804 coq-elpi_2.1.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmavmvwACgkQ5mx3Wuv+
bH1hQw/5AQ5B48wd1t13z7Ym0zwNSqUS61zD9P837FWUPD7vKcu/GnS+oiko0P/g
hIigFtYrHZmQDXvU+jEikV/0QYwgCco11TWrUuwXjX+wS+QjzFXjy7Fq9hO9eQfe
7YHi3CiBI0Zj1MXbzbze2wuFzhPF0puEe1gD9DHV8ibwDpbh/1FoI5pZFhLuDKaQ
Os3IGBH52iP8aliUCG3F4GTdiNbABhUx9N7SMhp1AM3myVIYYDRGQc7KgJlYANyv
FrpVN6++z56nvKoxArtLD3Wm+8R4GqMTtx8BR/DZuZxXshWqK1E5dHPkP+Y2w/RV
MaxdvVMeqc8aumQO16PLHcU0jL7YOwCLW0BzEVo2aQOwxDQIX+WXjPAHz3CLWtp2
ZPOdCTOvaGMsUmmbIL3dyUiPdUMQ8H1d1Z14CSWEk3AfIMhRGFJ8ulT5Ckdw0VQo
X7/1OwlyFagK7FKt9qOKFO4QqChiv0XjZnScdjX1ETIOL+zqB0ebPLjLltOnOV2Y
zrnkw/h5zJafg1YnknnMYi1lz9JuluWf7WJEm/HfuiVbUVCKPWzRK72Jn8Hmnc3Q
7rvhBMBae8yf1Qf/l/Cu3v/Ekzx/XqHkrEDMcq711uzxn0tBtu0BnlZNK7BLJWe1
G1mw4O4KF0D4Qh1wFVDNQwrOqyq36uYY2Yc6V6k9pgW/S3dkd1w=
=lLBP
-----END PGP SIGNATURE-----