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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-2
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.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, elpi (>= 3.4.2), libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, libxml-light-ocaml-dev, libyojson-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz
 e0482e55df81e7df88c900909345cbed3f15f921 5688 coq-elpi_3.5.0-2.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 b26a065b00d74ec9fb0923293a1480a8e1bae6cebc200c10fc7418781888bfab 5688 coq-elpi_3.5.0-2.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 2ae86c6cce6907f8dacec89a8375334d 5688 coq-elpi_3.5.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwX6oZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZCyD/wJzPr12qtWE8yVX6PFJez4
jpp+Dx8siBWj0V9PoxzmQwcSnzqZbr2dt8Gj5JkUOBac3BlTo1V8J3/y7FQoUUl1
apGe0bp4wzzx6qo0AhmLiu/BquDsIkeUukpEJpwbqBMHrZlCYknBke08x/LkRSeg
zh+M0UVbJqnZjWQqDU7Isg2geVrXAZrMMlhcj1iE8aqMfkEIl8wbe+9+YNENUyrd
m3T0ZbWzPBsIGaKoJ4PMqMCWyozR4h+nGPzMyfCXpwdNozARXNWbPrD9bY5OAkpg
dj4tEh5AbdJOKE/5q8o6PdJoWAY7c4+8lY6R2r/XTca3IDU5xxpAPZRzmjsmQYzh
Wr4Nvqal5Z8BlXtRsnNTv6fkw+mfgpt9RAYvl40cSQ2vXzQUy74/k9TyuvwlS2v+
SAU3qWptFLiqqX3oWHK99M0cKQlEP4z1nRFWROYpJIA4UFUeEj0l3N5Lvv4Hso6x
0awgUQ6JnOn6KcIQpIn54H6mNOJBfCIL/IAD3VEmsblUmVPTZIMEYWrHfHVre1lb
Hoh0mzKIBAu6zVlMknuplLm7ooIUAqQI7IllvvrFatDCZK/wYhLjz2gDNCWjlpWZ
C2S1VeSeu35ykGcbRd8g5Gbx4AW0j4evuDZAroU8vvpj1T1CAnh3DStR5oFs8EEg
RuQDih7DfO9PHVmYM23BOA==
=KupL
-----END PGP SIGNATURE-----