Accepted coq-elpi 1.13.0-3 (source amd64 all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 01 Apr 2022 15:30:44 +0200
Source: coq-elpi
Binary: libcoq-elpi libcoq-elpi-ocaml libcoq-elpi-ocaml-dbgsym libcoq-elpi-ocaml-dev
Architecture: source amd64 all
Version: 1.13.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-elpi - Coq plugin embedding Elpi (theories)
libcoq-elpi-ocaml - Coq plugin embedding Elpi (runtime)
libcoq-elpi-ocaml-dev - Coq plugin embedding Elpi (devel)
Changes:
coq-elpi (1.13.0-3) unstable; urgency=medium
.
* Split the package, giving one more binary.
Checksums-Sha1:
6f3f3b12f02d676ca521d996dcb76834313f64dc 2146 coq-elpi_1.13.0-3.dsc
05568366a9adb3b3109c7032ab91eff0e858b4fe 2916 coq-elpi_1.13.0-3.debian.tar.xz
70d7a40b095eb76ea2d98a360b2a4851d87a334d 8373 coq-elpi_1.13.0-3_amd64.buildinfo
2adb5a9301bf385bc8fa7de4ab31a931c121dcdc 230560 libcoq-elpi-ocaml-dbgsym_1.13.0-3_amd64.deb
88ad8bad99f58f88d434f1b0c47dba6818e3da23 1289448 libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb
261971264542d0f16fa26f925d8dc54e94f8411b 3563140 libcoq-elpi-ocaml_1.13.0-3_amd64.deb
4a964751025cab1d9249caa2ccdf628a43dc0854 456316 libcoq-elpi_1.13.0-3_all.deb
Checksums-Sha256:
edcb4666a10b8c50c95fe5559079a9b514c5b6063240d3faca83ff8e416d935b 2146 coq-elpi_1.13.0-3.dsc
8321bf6341d09d32edcfb6e0047b16db95ec0e47413928dcec4d56ba732b9aa2 2916 coq-elpi_1.13.0-3.debian.tar.xz
324792f8b50da9a6aa6feeba8d7c690c4a12e3ba05e2c99a1cdea02029f22744 8373 coq-elpi_1.13.0-3_amd64.buildinfo
ec5c70a40a99580f596d678649c65dbc5ac6ffdba48a1a99eb0c6fec9c9bc5c8 230560 libcoq-elpi-ocaml-dbgsym_1.13.0-3_amd64.deb
acf5a7af7c4e27463b81a0edff1a22bf3c96489f1c31865474b3d4c176689673 1289448 libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb
7bcb6bf578b39bd7ff17d3b26daae14ceb0c80a2e6379efd3beaea55259a6e00 3563140 libcoq-elpi-ocaml_1.13.0-3_amd64.deb
bb195bb953f3915ab382dda67cb3fa290bdcf5f86d751e66cc11a745c6a84a57 456316 libcoq-elpi_1.13.0-3_all.deb
Files:
0e8e484fd5b5d92bc979ba8a178449d5 2146 ocaml optional coq-elpi_1.13.0-3.dsc
1d1f1fd5997ac8951a2a51cc1661a302 2916 ocaml optional coq-elpi_1.13.0-3.debian.tar.xz
d2d10da51da9234887d1e032271c0a46 8373 ocaml optional coq-elpi_1.13.0-3_amd64.buildinfo
d76f8ca225dcefe05eea211cdb42c847 230560 debug optional libcoq-elpi-ocaml-dbgsym_1.13.0-3_amd64.deb
d8984639538ee7a4f70c2f96d2c74aa1 1289448 ocaml optional libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb
fa6b72c01db4c2d48463be2117ea21d3 3563140 ocaml optional libcoq-elpi-ocaml_1.13.0-3_amd64.deb
5672ac3396583b066d6acddad739725a 456316 ocaml optional libcoq-elpi_1.13.0-3_all.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJHA+oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsosQAKFxnvp/nvMOOm2P8h5az5p+nu/+0178
bBI43LbqTsKAxCgWP+0Kt2ks/yBb989eK/uUC3vFi2mGxEajjtN3SQkpKafbfXvq
hFKL1sfTIDyNyfKNFdromS+3BJEpZz+ela6HNgaSTnCfzhPzjTk6l8aA6nPrEKyq
1LG9qp3efbmp/t/BOWOCbgkm8b7uobn0kvQ5y8A0o6hufPBjGAX1mun9nVxDL2LY
6tyLhYfsx7T1/m+Jh6mwjg2f2sf7V8cHTToUKWq8w+tRLuRvZUE6O01TiekSeMRn
i3twTSW1N8PBouR8hBNkIDgQVzomMkRTi0zuu1dXImTUB8hdRsEhmwx976q/IYm2
W0/3jmo/Hyz2E22aemOaNIzBrjeBezmPQWiTRzTl8kZEILvmt0ODBXxawdFNG6CC
nF5ILeFC3obYhbMBa976R3lf9ss4VTltjBjm5RAo/gMsuDoj4urwZsjWFnDEz00R
oJv7Pufk9KL3JB9Y4+aokbxoHLaM+xraMX8G9C5i37X5oeGxqvDMiA+dL3xsr8+s
dTIbn20ENHYueAwbXhuy3kUTyOdXU3+KKCK8DtSwyOx1cHunAJX0G3heYUiAl16T
Ns0dy20p+F7RHGmQ7O0moHfzmZWEeBP9jkn3G0s1uutIL8QlWELVhfbOhjZPw1Of
rXEAZ+UsbJyW
=6Fn/
-----END PGP SIGNATURE-----