diff options
author | Austin Seipp <aseipp@pobox.com> | 2015-06-14 14:56:49 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2015-06-14 19:48:11 -0500 |
commit | da76434dbd5e727ab21b04e87ad219eedae2c183 (patch) | |
tree | b5a66966bdb53cb7c8c803eeefa3f913ada16808 /pkgs/applications/science/logic/cvc4 | |
parent | 3d181a3175d67b30a8a9a8add51a953c06a5e273 (diff) | |
download | nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.tar nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.tar.gz nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.tar.bz2 nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.tar.lz nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.tar.xz nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.tar.zst nixpkgs-da76434dbd5e727ab21b04e87ad219eedae2c183.zip |
nixpkgs: yices 2.2.1 -> 2.3.1, now with source
It's still under a non-commercial license, but the source build is waay better than the binary build. Can probably work on OS X too now. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
0 files changed, 0 insertions, 0 deletions