-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 16 Apr 2022 08:32:16 +0200 Source: coq-elpi Architecture: source Version: 1.13.0-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-elpi (1.13.0-6) unstable; urgency=medium . * Add depends on the Coq ABI to all binary packages. Checksums-Sha1: cbd96194ac236ae61749170993f836186f97854f 2146 coq-elpi_1.13.0-6.dsc 6cd11ec2c91a53ae65ba35b5c63989b0d66bad62 3032 coq-elpi_1.13.0-6.debian.tar.xz c71269980f8d551bdd26e3a015385082899c7ee4 7157 coq-elpi_1.13.0-6_source.buildinfo Checksums-Sha256: f3abdbaf7c0ce9cccd5e08bf282cf594de8ca7beaf72af541c01955f0beeb685 2146 coq-elpi_1.13.0-6.dsc 4834d2d7c026b4f704543b296ea06489a978843606364b027e8d3405529ae2b8 3032 coq-elpi_1.13.0-6.debian.tar.xz bc3926cfa33ff52948546ee3886dbd5c92465b04f839d66244f8c37569d266b5 7157 coq-elpi_1.13.0-6_source.buildinfo Files: be8488dfb750b857f79f22cc5b9bf426 2146 ocaml optional coq-elpi_1.13.0-6.dsc 17c1579e302056819deb7225604ee72e 3032 ocaml optional coq-elpi_1.13.0-6.debian.tar.xz ca3a384b541d428f1bd506b8661d7176 7157 ocaml optional coq-elpi_1.13.0-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJaYyISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+NAQAJsvcwGKsSiog1BM4ReY5XrhaH1pxJZ5 ZDXtl7hfhd1ROvnM43NASvZv1vwVJQoVWQjQS05r5H9Rrq1k7TT+gwqXadcXotTh He4dg612w342bWcF4eD1Sl6DFFqRZJ9tfyHE4eH+e8n4RUsyUSCUC6XfWcoQRPjM hPe/OO5c0wfcu+RuSnZZCLuE0gvu9ZCWbBRStKy/yoATlTjTgldPSyzAUU+w2F0z 2NVyYIn0JIzeUeG6hfvrb++S3UM9KsNB2jawQcjx3noYJJbI3aokQst2DEeyTQ8+ GlZeEFaU9fMPYggFcd58oxn/ELxQZ7x8/gdokqT9p/YqjQGd8nGqT7Z2LZ9M7c7n Io4fUSt0BP0aLi9gZYn1zFNH+ikFII8YQV0/aJi6DPn4/tu66qapv1u0cliFhPFm 5dd/uHpHFsJCbh5YV+WM+Iq7U5hIGDNSJCOrI8V1yq+kazbsx+vIc+4D1PSIsWwf Z5JzGmSYvFfqLo+QvEAXoDU6TINa0UxEkFe5cT4BL54hXHO+zvpUDaarDFrBGajB EoWyfHnCoS4hJKvzeXTd/ROGYkI/2MWK5G26zdpaTLPpW/xdTrIRlccfLubi2eyo 8AxIm+kLEPKptXHEvT4+6yqyjFg+3upcE69bXNmlJ0y7BSqSJomQQOG/XnhZK/Sr r2CXmVSKNDMA =dWyv -----END PGP SIGNATURE-----
