-----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.0-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:
 3212ed18742ac35b9cb6ff706dda13f5b99e6802 348903 coq-elpi_1.12.0.orig.tar.gz
 c30e3799d19bb8cd4eb56ac775fdda8032a1d024 3984 coq-elpi_1.12.0-1.debian.tar.xz
Checksums-Sha256:
 796225b6a569ca47ca2a2d6a7c15d1d57de971ef669bde7dd6321ce34f61fa29 348903 coq-elpi_1.12.0.orig.tar.gz
 843c1a67815b8651c1a12cea3978456423a356844f9bdb428fcd7173fd45f2cd 3984 coq-elpi_1.12.0-1.debian.tar.xz
Files:
 e2a728e5aed9d9677ef04cf24b411a44 348903 coq-elpi_1.12.0.orig.tar.gz
 cfc734be11495557800dab73d2b2d14f 3984 coq-elpi_1.12.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgNgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwHkP/jJo+XbCITfRf1/Ugjv5Hno60ficwiY3
m5rS4Beg0pZaajvg3lMixVdhuZXgl5xcR/I3/NIj5ZvPDFtnXODqlI+2mCJKkqSU
U40S33tZIMceEnidWGMLirzHKIw3r9wbbz7f0Z2p4Qkv/aOTShK+NaggxdelwthW
NZRMUpywIPG9B9iDF/TpbcbcIm+AZcu+zpF/r+W+A9vTFrVMKuWKhLDpLEU1dWv8
kY6LJwmwniWI8DtyQeT4ftlaQqMai6WvIi4U2kUCzptLtAH5v/x1h24STGRE30uk
8aYjcYv+PVns6w45HLToHVbqMPZ6DVC1gFnEXW+mwVGfe4mN0rL/sB3vVd0G1ARg
Dyt7nhsb9d6bBZJRUshmKg+aBf7tMs8mdGpu72hrCwge9i9xGyMjT3PcXYP0x6+m
s2FCBvvpsDVI7I4bhFaRIa07ccnHM11NdQiXbqr7fRrNoc/5UW/bjNX/Ia4VygF7
EETr+pgjrsec6/utZj7/fYvYZrumm7RPjv6Jx2eb4DwiJUo2V+ARDHiBW2ivnbxI
lkZlYzDXTQuIBwyHQx5JT6KpfBVdXODDWugTdETy6yERqPxznnntFUgqWkCXKqF5
AIgTkrL9w105EzxYWBtia04QHk55PDazR38YBzMGPAI77tf/Bo7KMfSWBKU26JJ3
4IdxA6wF7TOl
=PaGX
-----END PGP SIGNATURE-----