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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3
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
 9baed447af8c35ae9de98ee4367f6052f5679c75 5712 coq-elpi_3.5.0-3.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 aeff27f23266595950ba70e19ab26dba9ca8fb1eefa0112e90542bf21ccc49f0 5712 coq-elpi_3.5.0-3.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 c44e05790afa3d71786e81604e65e565 5712 coq-elpi_3.5.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp6ry0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWROEAClLMB/sHSTKmZSqyhx3jgw
HtWacKjsQ2KgblPGZzmr034aSAlP8cNqM5x1B0Iy0ZRUt4cb/EsTOtz/re23WWwg
zwp4yYXsNOV9OxgDr/oEMmGnRV80HtboAwFF9aAi0vN4dMLGIEgWyJBWcQ2I0FT0
AGxqe08SnABUBt1GEk8OGyqywWSREGUtdw3Y6rusNce6mdzD49nIMdPq1+hnR+NU
zMgTxoTgjTMxKjK6pOngk2q5+539JM+kuoISrt/brx42lQc3bHCh1K27pZIRtW3N
HH3ibgwe7aJjUekvScoFqmS8nEi8/plSYunuccF0wLElimCktr93EjWyBoneQKan
uzLlNBkTx7J7KMGl258wGZdqdBINwBSR+XWwq5Dhi5HBXqsFwvuEM+XTZMmDlJRW
FO7qYsGEnP+pb/aq5qSQq0ZcvH5me0faa7fyu3G1nB92ps/sZiR3ozfzkkyPyMa4
s+HaZFtIpXHgBwCiZr2dtApGTXOKOQCVTFDxDzcxX6x//F4UWN/4zbpNYz2ZvHLl
aYsKcwxctuDjPdVdQamBjhQUfi/wKz5lArpIgr9dxohk+YG77zPQRDxCYcT1f3b2
+NO4SY7kbU4zV+YncSaRJFw4oJMAUgI2tO61SvVJFBf0n+wGRv/bvaKCsDXQg0Wf
sIXpxYPuZvcspcq2+UGJtw==
=DNT8
-----END PGP SIGNATURE-----