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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.12.1-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.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 f76a27f0be574734ceaf30f19393817c645001e5 353244 coq-elpi_1.12.1.orig.tar.gz
 8f17900898824012e26870266b91daff348599af 4040 coq-elpi_1.12.1-2.debian.tar.xz
Checksums-Sha256:
 32eac6be5172eb945df6e80b1b6e0b784cbf1d7dca15ee780bb60716a0bb9ce5 353244 coq-elpi_1.12.1.orig.tar.gz
 cdc3d353db59bdaefbd80f36ef7ad931c1d009c8b4f23f40fc1e47bf46fd3d00 4040 coq-elpi_1.12.1-2.debian.tar.xz
Files:
 d4574b5c1017be7da75fbc70a885ad40 353244 coq-elpi_1.12.1.orig.tar.gz
 8c557c4a9f2f8579aa3fc9b7f2fb980d 4040 coq-elpi_1.12.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/t4YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZ+gP/juy1VMdtq2J7T1eHGsfuiAF6qbj6x/U
snGjq4ebQwRwPVzx42UioC616kzwr30PxCHia7VSpVMu+synmzWyL4yle4I0GUxy
+ZteafMd83GmxfnrhsdoGY57BldpbkRy9NtzPlndT8hsf3mVi+LVe0KzmUNGOeyH
QB1OXhnNlvi0KQWMoCBukt4xd/IhCCMh1hnZXP28czyOAQ/O+UPqlRN3ULauqT5g
iF6ta1JtLFXrvyHdBZua0qVLQNvkBBadprmPslgZvPdd/9Kr9p6Eomf7fh8ct+H8
jJYqmiEogUNWJUHgJcPM8XRfmO/htIw5gvhS9LeNEeKSReP9sSZGW9/Sw0LjKRhx
ZqNHdtgOTFeZb8c7ywOGsWrVrCasDJ/7KuTU97R5LwQfR7LPEhKOOCvosBejLt5r
Rp3G3j6mjq75IJnB/p7Z5YEdLDGzEUySBjIRwzHk7uj1tyhW2O0c57MrmWZrEja3
HyvRyvHyHd3aaRh2X7vmEEVP7lQ/H3IeCDPi9QTYAQs5e1PSidPx9VnAky0+8iJL
ppZw6zcw1mSiAVlNcckwqeUdPMzkFP/lIEUgJqEwWdQcsZOzHht3vNgR+ISNRFlv
0Mb3qGZTFnfgtvyLrqgLyPNYd44M2zn3n0MLiMIm7rS4DAj9OPwBWmXEB83AaNpC
4r4NZ/qqMwq2
=kKPR
-----END PGP SIGNATURE-----