diff options
author | Austin Seipp <aseipp@pobox.com> | 2015-06-14 14:39:13 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2015-06-14 19:48:11 -0500 |
commit | 3d181a3175d67b30a8a9a8add51a953c06a5e273 (patch) | |
tree | 45f65af8caae61cad1b980552ddee8fb914b4268 /pkgs/applications/science/logic/cvc4 | |
parent | 6cfc2caaeb94a3fb3c789e6f8853bf69c5e3858a (diff) | |
download | nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.gz nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.bz2 nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.lz nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.xz nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.zst nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.zip |
nixpkgs: abc-verifier 20150406 -> 20150614
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
0 files changed, 0 insertions, 0 deletions