nixpkgs/pkgs/applications/science/logic/cvc3
Robert Scott fc709e6dfe cvc3: enable for darwin
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
2020-09-22 23:06:45 -07:00
..
cvc3-2.4.1-gccv6-fix.patch
default.nix cvc3: enable for darwin 2020-09-22 23:06:45 -07:00