-----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-1
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
 88f4f8938d67cddc6a40c161c6d22e52d65c1b97 4000 coq-elpi_1.12.1-1.debian.tar.xz
Checksums-Sha256:
 32eac6be5172eb945df6e80b1b6e0b784cbf1d7dca15ee780bb60716a0bb9ce5 353244 coq-elpi_1.12.1.orig.tar.gz
 5a4262f4dc75a448a32b22d9863f3cb991f73d1c46e6f94e7d3dda767c33380b 4000 coq-elpi_1.12.1-1.debian.tar.xz
Files:
 d4574b5c1017be7da75fbc70a885ad40 353244 coq-elpi_1.12.1.orig.tar.gz
 9a2920b50b99dbcca3434e419fdf238e 4000 coq-elpi_1.12.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHqzLISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVfkP/1DVkRejlbluyuf+sFuJDr3C3YCz3woD
Z6dxvYg1wUz9+sCzbrt0iD25Xha5dOuZaPsKbJ6Isz2t821h7fNwoRsYsykvq8p6
E3NOqPZZM9U+1T3H4MSggKR+i922qu0e5EoTUT6FSU9HR4ieexbEzKgQo+6Iask6
pb8/tRJycssJ2BdjLHP5AlUM3e5cECOVUNQdUKlyt7ZY/RtkY4+ieKF2jH/t1Myk
anVLZnpAnjwCMpEdNpo6K4tZ3VjdYwgdPvCI9poawZPpaEQIK8nPiczeJ4QaV0TZ
M8nteXuubevD6mHXLe6YUBA4+UvMIG+2BQ74p6TdNRf/2nIdNBgoJGOqbefvoMFQ
Ly+ozZLQOhOglhb8ZwUoeWTpuB91N3cUdWjR7Ymd816ZUGVkeocscMXx9Sl2ZHC+
TMj/9jVh8MD2R4Ir32jjnmlgM8BVU6EcrvtVa//SEMFhW7OYCcyXL/w+HeBSDqTx
wVEPhO1SUhu1K2ixht9xTUoh/8dWQFEJktjbToIzW4YHnmlxu+i5pIdkg6qfrg4T
Zcf53a3nCVEx3QYoXcifasKbcRSci3ZvXNWOaAlZTxRYRv5htXZDl7k5yTQc5Afh
hApFE/bB3l5Q31nk0Bi9U09lT8l2OS7W0o0Zc0xeNyjh2dEOGyKE91HFV6XWhKbm
+cMGXwedaBtU
=c7nK
-----END PGP SIGNATURE-----