Accepted coq-elpi 1.12.1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 21 Jan 2022 16:09:07 +0100
Source: coq-elpi
Architecture: source
Version: 1.12.1-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.1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
01256fb9975a9801f7d2f20b970223192eec8ff3 2088 coq-elpi_1.12.1-1.dsc
f76a27f0be574734ceaf30f19393817c645001e5 353244 coq-elpi_1.12.1.orig.tar.gz
88f4f8938d67cddc6a40c161c6d22e52d65c1b97 4000 coq-elpi_1.12.1-1.debian.tar.xz
e8ac137c03f68ff6b10a772f67502d60b9a3e1be 8052 coq-elpi_1.12.1-1_source.buildinfo
Checksums-Sha256:
43e1d0e0ade5c186fac0fd8b89bd0d90d62b3819564a284bc4411a185ea591f1 2088 coq-elpi_1.12.1-1.dsc
32eac6be5172eb945df6e80b1b6e0b784cbf1d7dca15ee780bb60716a0bb9ce5 353244 coq-elpi_1.12.1.orig.tar.gz
5a4262f4dc75a448a32b22d9863f3cb991f73d1c46e6f94e7d3dda767c33380b 4000 coq-elpi_1.12.1-1.debian.tar.xz
85f65cf41d272567477f58ba1b04ed7e6fbd4a2e86ca2a60e3a06e954d695ad6 8052 coq-elpi_1.12.1-1_source.buildinfo
Files:
68c38bb319ae1b56faa82bbb40f02bdc 2088 ocaml optional coq-elpi_1.12.1-1.dsc
d4574b5c1017be7da75fbc70a885ad40 353244 ocaml optional coq-elpi_1.12.1.orig.tar.gz
9a2920b50b99dbcca3434e419fdf238e 4000 ocaml optional coq-elpi_1.12.1-1.debian.tar.xz
deb3fa3d269964ca9530bd06ee4a710d 8052 ocaml optional coq-elpi_1.12.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHqzLISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRx18P/2Bl1/+h72Oc2XKHeGAwawrnQ+IvFgoB
9dxO/3QY/2L7TrneWnokTgkGwoGvo83gimwl7/BOneDN1potAWvgAFUqDkGR/dmQ
FEXebjTiwRwiii+ivkK6rC/KnSudyvPMDQezXMJe5oxXjAAL3vM/Vnotek9Gh4Ou
UuAJpfYZI1/qwn3VlDeSvNTPkNPJuICcw7utoqxLJV/1I9unK79pGgI0t+8Ebs8d
HM5wx5PCuLDJ4NFWq4rlnThismA9MIlI8ZSjRhoNtU0oMy1/GBVUxfWUUCoUOWQ8
e7QIsORLCZ6gS+Zzcj32HY6duhHHVGJuw1NFfDNb93Jic4HuDArYn2bV5hVCigHY
debeND5sO7f+7vvKne1j+E/dE9wdv9TQ2Bq0Uaj9IeijAKOlfDCqXUkm8lOyifRC
/E5fqjo9dsQm4zQERoJ8uJrOufeGet1PbjoxFqA/1BzYQjNobz/XX38+GpHtS4v4
i5nW5ADzmO5uxA/RZQ/7jg6wA6kGztnrIjro/igZvYcUnG2J75s4zvBn4I8f3HjY
CUSDcS6EDLxjohCQX2ILhGc4qDgU4Bje0lCvUHeFBxg1ZLxiwaxsjbQXSfxDnNAO
6zw0JFbi6X6HSGs1QQp05uJrg4plR3eSfpIgS5+LM4vYyCH5/UR5FPGS/fYFpXaO
FYm3mKnDWe4L
=DDFw
-----END PGP SIGNATURE-----