-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 17 Jan 2022 15:44:00 +0100 Source: coq-elpi Architecture: source Version: 1.12.0-1 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.12.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: aad6ffc9ce2c7cb8fa62eacb79a239d5b3d01fa2 2088 coq-elpi_1.12.0-1.dsc 3212ed18742ac35b9cb6ff706dda13f5b99e6802 348903 coq-elpi_1.12.0.orig.tar.gz c30e3799d19bb8cd4eb56ac775fdda8032a1d024 3984 coq-elpi_1.12.0-1.debian.tar.xz b764470cd8be34a9e22b2c33009ddca1cbe66e80 8092 coq-elpi_1.12.0-1_source.buildinfo Checksums-Sha256: 78fe1ebd7e7d5c7c731b8978d550bfe71f4b08aa16ff3ac06e8f702b9b7913f1 2088 coq-elpi_1.12.0-1.dsc 796225b6a569ca47ca2a2d6a7c15d1d57de971ef669bde7dd6321ce34f61fa29 348903 coq-elpi_1.12.0.orig.tar.gz 843c1a67815b8651c1a12cea3978456423a356844f9bdb428fcd7173fd45f2cd 3984 coq-elpi_1.12.0-1.debian.tar.xz d1ba49e534cee04a6007e6b568c54688f3ac1ca1ec0d852308dec0cad1956fd4 8092 coq-elpi_1.12.0-1_source.buildinfo Files: 7e05541125ff680cf7789faf5fa251f0 2088 ocaml optional coq-elpi_1.12.0-1.dsc e2a728e5aed9d9677ef04cf24b411a44 348903 ocaml optional coq-elpi_1.12.0.orig.tar.gz cfc734be11495557800dab73d2b2d14f 3984 ocaml optional coq-elpi_1.12.0-1.debian.tar.xz d516d553d2eafdc602be9f1ad33819b6 8092 ocaml optional coq-elpi_1.12.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgNgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXxsP+wcYQXbQiYiSdn/8+yiT4Omph66Oz8ES VXkYRe9jnenEpPNgHjG6yWAHSlzdrkgV3JBdK3hGuYXOUB/UDyPAjzWIyve3LBB7 4pUyJFcmO5TmQmBzXltzmQXtrSrF+F2N+ohylbLsA42XsBKtSP8NfxuG5bzPyFBX oGrWn53UlXlK00XAkv70bQC38tsbQrOiAMYXhkMzBhif9CMYQBqgMuo1Ev/nH6aD JjEh1wtZS00jQiuWunSmJYrAUJadaLnVFZflv0Y+By4tTbxo8clnpmGYT7gNW9Bh FDJRCAqFtVrxm7O2+gUibK9BspuI9Hz/v3JQxT7JTNrnIw8rs/SY/iDbgsJfzNg4 2Aeik2bR5BNRkMIRgx2tM1llsudv7hlwmOz7GHMmAfKgnS0gKk/+eC6N15qPv8OF X4yDNGA2L5U1+EW9y23/8k1oriyp2CuO4Ca771NwzC6JLzklWvmEZB0W5PqHX+pP ykTNwQz7XKOH6F72Jiesq9w9nRojhrybfbpUn8upzTZDF/f3q6u18oDH1NbsxIiC SOgqME2McvgGnUmdyYTdU3EcXijB/aUtsdr7gOZqOt6p9Zvs+R5PD6ddMOeXZEH1 7egUx9uyIP6WKvX9QAk/O/2WilMzj4oGMpQMghrXZJwMBBBrrdY//NfeyLEUwov7 UQTJ9QmxOr3j =63DG -----END PGP SIGNATURE-----
