Accepted coq-elpi 3.2.0-2 (source amd64) into experimental

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

Format: 1.8
Date: Thu, 30 Oct 2025 08:44:33 +0100
Source: coq-elpi
Binary: libcoq-elpi
Architecture: source amd64
Version: 3.2.0-2
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-elpi - Coq plugin embedding Elpi
Changes:
 coq-elpi (3.2.0-2) experimental; urgency=medium
 .
   * Add missing depends on shlibs:Depends.
   * Bump standards-version to 4.7.2.
Checksums-Sha1:
 98daa12a9d7c9f1a1f80a554089c96abb6480d2a 2079 coq-elpi_3.2.0-2.dsc
 15909b2bade705774c2840fceb42e8defb2b2632 766708 coq-elpi_3.2.0.orig.tar.gz
 1e7c5a2eaf0a4d88315583bb5fd258a9dd7415a7 3852 coq-elpi_3.2.0-2.debian.tar.xz
 224e35b0ae081da88370785c04ff7797e275c362 7573 coq-elpi_3.2.0-2_amd64.buildinfo
 1a18bb7a78101bb7d45b98d2fc65d0c9da4af5ef 16075056 libcoq-elpi_3.2.0-2_amd64.deb
Checksums-Sha256:
 748780e08e66424b57487e451c0d3553fa65cb47e4d3d2b20ffa4f983d6edc1d 2079 coq-elpi_3.2.0-2.dsc
 eeb3ec04d57fb5c137b94e99fea590a2e56161158077502c74602fa2a5f62df1 766708 coq-elpi_3.2.0.orig.tar.gz
 a836d6f7885fdbda4e885269467f40a9f52a6cd6410a7a5d1ce49a5b5103e227 3852 coq-elpi_3.2.0-2.debian.tar.xz
 81b3049940d8fba032e9127a81fcb3c613e6bb288c7d039c4b53902e698953b8 7573 coq-elpi_3.2.0-2_amd64.buildinfo
 5086594af4ecc0acd1b5ce3ac52ad8aa745ef45c9e707fb8edcdbc27a28eafab 16075056 libcoq-elpi_3.2.0-2_amd64.deb
Files:
 732f757c13344b42374348b937e1a371 2079 ocaml optional coq-elpi_3.2.0-2.dsc
 389b06f8eb7d7c71f06e601328643d6b 766708 ocaml optional coq-elpi_3.2.0.orig.tar.gz
 c384f2a6f4f427a62f0f6e5f661d9031 3852 ocaml optional coq-elpi_3.2.0-2.debian.tar.xz
 e7b68fe95b889663b4c28a5182a77eb3 7573 ocaml optional coq-elpi_3.2.0-2_amd64.buildinfo
 418169d6de2b77c33b50af120787e0bb 16075056 ocaml optional libcoq-elpi_3.2.0-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDPjEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd5XD/44GoQ/tyxz6D1j2266BC/r
d9QJPJcX0SfuJ/KfoI2hT376IRNy4KDOz8U5mC1L9zAdP/MInRl3/mMK9qNf9gfd
vsNYFdV1SE/9+76xAH+4juPGGi1arE5w/KECHZT3hYGtLqLtLmufuGrK+Cixbl9m
3aUeSDzVe+yPiF6sXgdzfi2upjQz5lLFsN75plTJB1hy4bDvD+zcudNpDIMKqu9N
gzYbxdFNRrTJ1/JB1S318V6dP1ruafpkNw/EhkNxZZRbvSrLHh/v3SNReyZC6mHu
YrCAi3/ad8/MlcKjUBdaCwOWsEuhH5Cm3KS9WHs6/ZO8fVVQoRQMtDS41GHWc+kV
hHGjxWKwkhPcOEZLgtiLhOKQqRaEe4VDPD5LDOkPeIqpAkkhS+4ESVG4h6l4UtUw
s7VWfqVfHC6HE7rDYWZasoYKODblCownw/T2FWfi13UnpSEccKLoNwLYQJlC75yX
xTAl8NofwUOs+dq0nUKwYcIRW8nTZgOu6/9v7M8rUAChXf6xzdcZ+TVt/Xgy0qML
NsyrsxPECtddBL2rgZmUbBjA/RRsKTymQdJQAH3DD+a+Y/3UGUGiykCIYhKY8Q1K
4FauEJwlU6GIu4MyFrHtNBfYpid4l/XIIHhkdnXGM9HCP4hEVPO9ysr9T4DYFhkT
B/+99hdn1tTtJoTosNp2xQ==
=Ybeb
-----END PGP SIGNATURE-----