summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cvc4/default.nix
diff options
context:
space:
mode:
authorJohn Ericson <Ericson2314@yahoo.com>2017-05-19 18:39:12 -0400
committerGitHub <noreply@github.com>2017-05-19 18:39:12 -0400
commitb175feb8e141262b20f56d662d0b40f69df8e5c9 (patch)
treefd91b24e6382cecf5e1da9924947472437391d47 /pkgs/applications/science/logic/cvc4/default.nix
parent5aa530f2a8f6ee640b166786a32fbf6788993516 (diff)
parenta19cf228d5032ad9aaaa722ef1aa82abc4814da5 (diff)
downloadnixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.tar
nixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.tar.gz
nixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.tar.bz2
nixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.tar.lz
nixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.tar.xz
nixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.tar.zst
nixpkgs-b175feb8e141262b20f56d662d0b40f69df8e5c9.zip
Merge pull request #25875 from obsidiansystems/ncurses-cross
ncurses: Break hash to simplify derivation
Diffstat (limited to 'pkgs/applications/science/logic/cvc4/default.nix')
0 files changed, 0 insertions, 0 deletions