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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.4.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.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
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 97e7f88c2df0f01418fc9db8bb0df966fa52d910 1113403 coq-elpi_3.4.0.orig.tar.gz
 11606eb0ccdabd32ee5c9cb431b9a9da5de4316e 3676 coq-elpi_3.4.0-1.debian.tar.xz
Checksums-Sha256:
 bf40b908ed30bc2d5ee9e5b1f084e10a059d8360eb7b8b22750aefc3bffa4a7a 1113403 coq-elpi_3.4.0.orig.tar.gz
 25a1fbbdfc6ae9647ce43955af09cb4a5f6fd848e9baa91705ecbcfd8e2a850c 3676 coq-elpi_3.4.0-1.debian.tar.xz
Files:
 4b98b790f288a6158288583bab708725 1113403 coq-elpi_3.4.0.orig.tar.gz
 fbd11deadb97ee26e7868a6baf74f5f0 3676 coq-elpi_3.4.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQ0YwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbhLD/9o5hD5ruJ/H5R9KmEa12nJ
J3KzrmOR6pwHKv3q9hRgEgUAKM1o3zVThZGpN3/L/3YRBH0eSTYracalU4Gm2mNr
VZCWSxTo7hawnzMVeekR9IRc4lDwKeoENS84XGhMxbyou6rtNYsEROxTNv8Ju9Vf
mXUuR62XfQgWO9usKbXVTONJMYsF1ekh5xxE97zxBHFNdpCD6NOvozgey3B0A8WN
9caPsCNDL+F4CKMOGDoa4Ucs0g8BM9GRJhvvfYdilFXJUqloblqhfrK9njrU/y2X
x+3MsxHg+tb6kAnDCm0P+kd7s9NzzGyJrlUeJro2QEFrHpywBeSDYheePESk6yhi
KqFj/YyoI+Sv0h8VtnViGskM5O/YYIz5DH4aHQNrty7I4IrTvo8/6HIGd1g1nXtD
mCAxzhZ22JygeWWeds3NUSuhKjgzAtT4WVZ/Dh1xmmlot86sJontJGK1JxiqB8Cb
JXj3FVryVvLeJh04DYg9Vzz2EbnI2CGeCVL+VIah4q7W6Nd0JNgprAy3SB743Fke
zWACd6tFuyU3q0rrjliE4VmnmHfJEDX4KqVaQ+eO9PASWhqM467USu3vyFEJa6nP
sCMdiiiXbvhnKB+AI4st+U+8kju40ZSyB58GtnICOC3gmG4ezel4bGN+eKxFwFu8
DqGq0v/GtroILRWYEJs0vQ==
=hapU
-----END PGP SIGNATURE-----