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