Back to coq-elpi PTS page

Accepted coq-elpi 1.12.0-1 (source) into unstable



-----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-----