Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 16:56:02 +0100
Source: coq-equations
Architecture: source
Version: 1.3-8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Changes:
coq-equations (1.3-8.18-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
789b6bfd87313c8d8e455159e9a730ef46066622 2166 coq-equations_1.3-8.18-1.dsc
eab084c37f1ec1900e9c4b929c58869011bae18f 1102730 coq-equations_1.3-8.18.orig.tar.gz
c8a27490eff7954aeb6f1082584fcf8dd08f376f 2640 coq-equations_1.3-8.18-1.debian.tar.xz
2f7da0a27d974210f478d1225aeb77f5c6aaaae7 7926 coq-equations_1.3-8.18-1_source.buildinfo
Checksums-Sha256:
490426e6920917ffa023eae8d6435e28218cc1a00d8b40ef3dcdcdf6846ecd3b 2166 coq-equations_1.3-8.18-1.dsc
4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz
254af7ff18c2220d3e08242f2ab1891be83abc0a09f65a69a64994eb6214ddb7 2640 coq-equations_1.3-8.18-1.debian.tar.xz
99dea3608fa64bd90cacf8ff0f06c9040af5cce6aa258120fbb41ce597cf4f2b 7926 coq-equations_1.3-8.18-1_source.buildinfo
Files:
efdca388079b103f7657954d909a9c1d 2166 ocaml optional coq-equations_1.3-8.18-1.dsc
1a2bada154ceed57fe493b9180f73f50 1102730 ocaml optional coq-equations_1.3-8.18.orig.tar.gz
7c0812d459bb461cdddf8a09ece5db1d 2640 ocaml optional coq-equations_1.3-8.18-1.debian.tar.xz
601f8171e07123f864d748599fdf4dc8 7926 ocaml optional coq-equations_1.3-8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYG0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRP44P/2XgwHoniXoKWaweuGOK71ZWjRQQFXZN sqSLiSEHdHWO/pA0MOhXfIOA+NPXKt8BzPw6wKvK1bGW7Q3/tGZhI7HNFuwCA9/P teZvutpjiJIBHpY4FurN5EckEyzzpdPpnpqwd99ng2vNCKOucVkgF3Irf5mczEcQ zEjaeSdonCcpEP0WXc70ixYy9XqDW5JNpkRu0FNaq8L+pKZ743iZrT+53M1mXTZ9 b1lTj+7dol5Z8nlxJoPgqHlpKsgdpAe+YWiRyPbSvDR0uChcjbRXvoEtu3zlnRW+ MWvWQqYoA9Jboj/Hffv0FVilBxYA/I1Z6Hi2UYOp5+A0p1owFspfnbSQXPAKdDAZ 7uTPLjAWdk7JeP4ZsPEoj5j6KywmxnvuOpvhMpx615ytD6Vioh+mkb6ET44Z1bJt PLxejWNZXavpOEyXVx/7rSRlMjnIP1jNZGlEwp90wColphUgp2JTuAjZMgrjRAG0 /DNN6K4uW/tk/p6kqyxfss9JOdBGL1jNw1nK2InzboWlL+kjJdg9Vl/iWvamjQ2S 3/Wa3qZR9P6Z0YwaVABoU4cmOyUtduCCuh/WeoSUBNmN56B2d8oMQZ7YLDQMe9yW 0pHaAqyHWOPWr4K2qWALSXx1G5Hc67WTQiNI59ENk7sykkHpnZUlCuLzWb1Fpkms
wq6yZg0tQ5BP
=Cz+x
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)