Accepted coq-elpi 1.13.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 10 Feb 2022 13:30:32 +0100
Source: coq-elpi
Architecture: source
Version: 1.13.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.13.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
e65da77790c0e85c1dcaa6b663896a6f3f2f366b 2088 coq-elpi_1.13.0-1.dsc
8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
98ae9ca6994e18612e07ddc1c4b54a9eb88ef6b5 2584 coq-elpi_1.13.0-1.debian.tar.xz
a6bbb774fd62966903f8c14caa2dc0f62a0ce5fa 7929 coq-elpi_1.13.0-1_source.buildinfo
Checksums-Sha256:
467ed60f44e05ae295cf46145f9e109c41b09ad7443882267882e58a7e8ce9c4 2088 coq-elpi_1.13.0-1.dsc
7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
633906994ddd7a134fdaa1ca70b4ba38d4d23ee5901711f5dadb1fe872484fc0 2584 coq-elpi_1.13.0-1.debian.tar.xz
2bf7fecb6a73c6648b042631aeaa612119f64bb3c203f967868f3e266977e0df 7929 coq-elpi_1.13.0-1_source.buildinfo
Files:
ba39e4a78cddc42ea6534042de84567d 2088 ocaml optional coq-elpi_1.13.0-1.dsc
2c3fdb216e98c32610a8cbe6234d4e7f 360052 ocaml optional coq-elpi_1.13.0.orig.tar.gz
e99565f0ee3af9c986946ad5d90b19a7 2584 ocaml optional coq-elpi_1.13.0-1.debian.tar.xz
493215e0804c7b8e8879df8980edc126 7929 ocaml optional coq-elpi_1.13.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIFBZASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNPgP/0u4EI0etu2pJb34j6FkCQiqAF1IfSsq
0RmIo2lR3MYqGYTZxZQXr01ztwzsHKKhsubmFSvdF6At2m0GeY5FiMD8BzLANeQF
LE+31eFpLsOEtoPN5jNJHZ6WE0u9xLQKwDH52CnR3WzoBmYzzYGKHB2CuZStsPli
MFajxley7yJKjQ7PAZxOHe0mngRFbn+I2SAW3zCSNsSXfh0+ZupMNUvjBIK2WyXY
34yGymLj0PQG8FKNHDI9N1E6y+YVHH1CvUxGQrRYtAPLRUrrmUgpMgXVM+68q7YX
i3ZFowzsxVplHGstrh/umnSODFwv44qcdsH9cpP2pFhXz0p3hOw2P4DvpmON8auu
4y94l3TIFmpZ7RD2Rc3K8ZLlkxdxAPTNIOxtu8/KQmoo7VG6hM20SLIIZoxxQign
uG85bHI1DkMLdib6FJNEIcTTCyMYS4N9YkIn0EuG/W8rCe8v8MFWhi9caVBE5FMe
aLqOPzRZLKoScq5lRT/hnpdkR4YlodhXnT8DV1wBlcQhIu7QJTaQ+vS9z0PRSfMh
pjs3IjANibnPpLaqz3CXqJoZOUnoS0pgfES24IWq0rBRxkQgg7z462NjtJlNqAaQ
kZRhNwAhxJv/MAQuMmGBrdqT9u5RAp/yKJTe2u70Fixn+y+0cRNlSFhG5T9bwEB8
AdEHuTQrv73E
=vj2L
-----END PGP SIGNATURE-----