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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any all
Version: 1.13.0-5
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 deb ocaml optional arch=all
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
 29c9a4492322ce0d7dc3a4c09a7750ec50f7a09b 2960 coq-elpi_1.13.0-5.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 fea05f1ab9dbf5b217400745eb9e468f09bd571c9433238f77a39788f9d60086 2960 coq-elpi_1.13.0-5.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 d92297375ac5c5536d5ac5ef71582949 2960 coq-elpi_1.13.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWdZMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRptIP/RR1PPXiJDag4DWewgFlWq+5ztW0SBhr
icXCD5NDXntmE+wsSnq08G2QChpFmjvmXWpEN5RQ67KMrqSwaz3B/lIOQUOk7Wcf
ZRQhf0Z+ZmV7xo8V+p9vAdDGIiq3agn3UT2RTW18jYCBZHN047SCf7k+MTBCK1Nx
9/alwhottS9COp3X+9/GxjuahojSoQ+jcmCJCgeg66m9q0mdgkVpwJsFTaYBpbKd
MWhKfRPwyv/iFpiuzzjxQxdILHFUfpJmEZWts2BdXIFAyzZNIuINX6DHT0ntQuSO
yMabFzdxr/QCpvTh5lv71AkvnFhcv3BeJ0JtyOgbLJJA8sgldXPMO4zSsenmd7ya
CLEOr1DkC/Q2FdAjKFkJwB2/cRStZc2UI/uOaGGbZ2+PRCuNVIuRM5sxmgUzAo8Z
Uph0WmyJ+cPNJcMSDsC5RZzxapEYtPw4SJBthJb7xcBA34RPzRwheWRCC/S/MAf/
mbSCw9b+Meiux42gbkl8TbtjBZCx6Xp3QWj0rZU98hQxSltHC7ENPwMK947Sn/tg
7Hy5QLzvT7G2kKaQ52Y19cB+lrinvpdAygnE+gfn0AbKWKK7IDJ0Ct+hetJB8AWc
o9GG2sWqIPhyEsQxSquyAdfBetFGBrB1NA9AOa+P8KMZ5ggzMkPpV/m6+DNN0RR6
hyDBBdqtRRYu
=9Pjv
-----END PGP SIGNATURE-----