Bug#941431: Build cvc4 on other architectures

[Frédéric Bonnard]

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