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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20190930/c41eb367/attachment.sig>