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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.14.0-5build1
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.1
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, dh-coq, coq, libcoq-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
 e675ecfaf57bc6c5ce62ef871413971164d9b5cd 3284 coq-elpi_1.14.0-5build1.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 0b04767e7947f265e5a490df36bc41845434376b8cacaad8e8aeac630fcad52d 3284 coq-elpi_1.14.0-5build1.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 25235690a11497540525741d24afbfdc 3284 coq-elpi_1.14.0-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLZeS4ACgkQ808JdE6f
XdlKiRAAlXGKG4Y1wLAtrvQV4lA1xjbn4wBrTdBQypnyWhIzRz2FQRxiGtmXBrEF
v+DVdFDoOsuekULy2TlICGePSw4rL3Jc9iXAAwidAxVrbxA3Dy9u5Y2A7UUNWgG1
oyTjQeOWakZLcNuqRWTVzUQ86Y4b6ObjC+64OBb42qv42b+MmpnMJdVwzs+s068e
s097dAeA7k6nSz3UeqzFoMZdw7+fyNaHYd5JsO/a1zHlgnEK+MoAtRKEg1vowzDx
snFTlUpB9rdBLZoi5Op085VHmAnmXga2DHdhwGzzb25ILgjqExq9YVFXiTQlf3qJ
6jJ8XHQAoUyvU9DHABrzVKl2Xk4PLQlf8OM6tihDRJ0zig7c94/GqBxdaW2jCYPB
GaPujL8MMGS/oa60Ax/rM4C1reGUUkHFAWPwAPdvTOFOWN7R/Q8lRMYy/Gpfty/w
zapPEHSelEPlAha6kEC4E8e2JDpSBkp2tM9WXxtMlQwO1PvcMAWtd7jI+YV/Fl+8
wv2xSC5cFIWRO+OlTAZXgVW9BSVAMxIINyQaT7CHx6ItwE22CUZ7O7eTJIo/I5Bi
C3Ei25QUAaVQdPfQkNarhZQB18rnSOnzb768XbDAHQ73CwFZByQpYwsZEGmXEuiX
iHsPvfLkk3lCiHS8z9urW0SpZtKiDya632EKAkhgGQtx6xl2uSg=
=TmqF
-----END PGP SIGNATURE-----