-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.19.3-2build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
 80a3fd937d60ae34ba92b46e1fc562505f684a6c 3852 coq-elpi_1.19.3-2build4.debian.tar.xz
Checksums-Sha256:
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 8f2da4a54f93e37a8c168a40d035a94ff9ed518a0f9471a202932885f900b7e3 3852 coq-elpi_1.19.3-2build4.debian.tar.xz
Files:
 17db60a99d07ca13976b794a8205327b 571678 coq-elpi_1.19.3.orig.tar.gz
 b0eed001de99e9d9e70d985c482ed9a8 3852 coq-elpi_1.19.3-2build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmTUACgkQ808JdE6f
Xdk+8Q//UT1lBLK3mcb4SrwKadkmt+OJedyOjoA9Po/8oj2YGJ7jXeYiLvCXbGyr
1gFggA18WTA6wYtTRTqHaML+sbCWDslkl6d4Vfh2xqkWns2qiTV7273NT8hPLa2O
jXcyyvffVS3z2PRuJgXZ9U1+Yeai3PhzOrpnuy3qh7ZRtwTpQ0eEgbYprTWoeTsj
9lLtVn+lJ12rEq/QcV6hotXKymGtabA8YCHZjuR9/gAfSZtvL6xRBpX4930ab/Aa
4nSpts7O8mFLhk+nsedGjCRrAjACLraN4IhHrka/+9QUx+UWVx3gAjMEOaHhGnMw
0ZZHssNIzzjwX4ZiG+r8SROPQVPNJzw0I0ffnae86WgimDiSp0xJTtQfDQQJ9POD
GCtAJ6eS0WLnkkwn/4PIFot25DfGJAyAnLH9X5LoMApXJ1okUuk/ieDHVsCUQDLO
FPYhPyYDgpveSnJ0aTV3gyFn9czSnhC8k7NbNuaAvFxV72iiDWmi33I+Ptc4BmIg
yuxh8bsld9E7GYmGIdBCfH3hLST1mllfet9xfB5vsXYRCMPNhhqAaTrIUaJLFe5i
BcPPJeM6rRn9jhqshJGsGYZM85B75XvPR/jCwd0NhY5yYPEQOis0cL+Tqgz1GG7k
1lAXkAP14MLBstFJpMOBwtJ4+wGjlz7IgeH8007IXRy6j5X+2Mo=
=haU3
-----END PGP SIGNATURE-----