On Mon, 30 Sep 2019 15:35:36 +0200 =?UTF-8?B?RnLDqWTDqXJpYw==?= Bonnard
wrote:
> Dear maintainer,
> is there any reason that cvc4 isn't build on "any" ?
> I tested ppc64 and ppc64el and it worked well.
Thanks for bringing this to my attention. Yes, there is a reason:
Package: src:cvc4
Version: 1.6-2
--
Dear maintainer,
is there any reason that cvc4 isn't build on "any" ?
I tested ppc64 and ppc64el and it worked well.
Regards,
F.
pgpr6nxHK9_3t.pgp
Description: PGP signature
2 matches
Mail list logo