Bug#941431: Build cvc4 on other architectures

2019-10-31 Thread Fabian Wolff
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:

Bug#941431: Build cvc4 on other architectures

2019-09-30 Thread 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