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.
pgpYPIfZV8IIu.pgp
Description: PGP signature
-- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
