Accepted cvc3 2.4.1-5.2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 12 Sep 2019 14:15:37 +0200
Source: cvc3
Architecture: source
Version: 2.4.1-5.2
Distribution: unstable
Urgency: medium
Maintainer: Morgan Deters <mdeters@morgandeters.com>
Changed-By: Emmanuel Bourg <ebourg@apache.org>
Changes:
cvc3 (2.4.1-5.2) unstable; urgency=medium
.
* Non-maintainer upload.
* No longer build the Java bindings (never used and incompatible
with recent JDKs)
Checksums-Sha1:
4ee9c44395e4b61aac31a365869cfc6b5ca9e205 1948 cvc3_2.4.1-5.2.dsc
e072d5ae1e1c4d566265aae0a72ff07784965642 10324 cvc3_2.4.1-5.2.debian.tar.xz
2a1f4bfd809e1ac5eb60218cf3975f4e9cff702e 6502 cvc3_2.4.1-5.2_source.buildinfo
Checksums-Sha256:
c173d7fc53aabd2d9481cbe66a69fe6a070fdb906cad4ddd3a5d04a69c42ab91 1948 cvc3_2.4.1-5.2.dsc
da70c3576390b9804f8b5b028fbedc889c9ceeef476177f18ac5e8ebdd51cb29 10324 cvc3_2.4.1-5.2.debian.tar.xz
9c543b5793e3a2afbbebc8096c3797a567e09ce432ac02f4d2cf4fcef3e63c6e 6502 cvc3_2.4.1-5.2_source.buildinfo
Files:
756845ecf0681f88e2e3b522977c5e5d 1948 math extra cvc3_2.4.1-5.2.dsc
0f34c06d09b85e2b9b3c7ac634117d99 10324 math extra cvc3_2.4.1-5.2.debian.tar.xz
8c19c5d2d72ea08aa6c7c671dd905469 6502 math extra cvc3_2.4.1-5.2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEuM5N4hCA3PkD4WxA9RPEGeS50KwFAl16Ow0SHGVib3VyZ0Bh
cGFjaGUub3JnAAoJEPUTxBnkudCswvgQAJ13YLcjHcivtgXezAsOl99+UUC0oLJQ
IgZcdWAO3oGsFKE5LAf1LOYUZ8p4b7aY20xLfsmhXWhBcIscllwlKcDUXPUJPtu/
PPRXCA1D4C7ZP/FUWe4VVXQax78msyqXkIEE6D0vRahCWMz5QAjf+T8FbvvYXbHK
L5+NAcf3fIUl/IFICHMEL6CtDXj4dTzjCt4sz5BOX2sOXzMnOgvIh0JIgHQ0qoPG
9rqZpYdh//YrhoVfZsdSqtXXHjZt7RFcQBu3JtYASrqP63Ypy7hbpdqKy1D88LYu
E44pb/plJRcKj8ATS4UFlcYkiAFEBhwHDbyC+uhMqs5g0Xk+jK8ubyWRAnTxWcqy
aAmMQPiBWYCq1V03PjL4XYBnPPcGDuTb1wnjbRg/ADVF8UbwrDpdrFcDkHmA7eVw
os3nddsJUJpatExIZ5Em8W1ibfWXOZT/rryBfO08so31yPp8IKsLWpfjtE6wDPke
2KMheA5hUEO8TuAqJfW2v0JKmA0VuGEhL65PFcwVVIhRo4dnodBkbxFLTOZxrgds
lErtVr8OpLQlWgjFRg1VwKy8HCdlMrj293IvIFkI8mbcOXwi+bdX1x4POQe3Yj6I
0dQU/iMc88z9Kbbd+Wb+aqxz7yECq70gVu6JH9e+9Xstw2jrGIXZY3e9Il/NkoqF
6Vd9+/Amct2o
=QWGD
-----END PGP SIGNATURE-----