diff options
| author | Henry Till <henrytill@gmail.com> | 2015-06-14 16:28:55 -0400 |
|---|---|---|
| committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2015-06-14 22:54:31 +0200 |
| commit | faa90fad3fa97161e55ea28262ede574477db5e6 (patch) | |
| tree | 239288482f38f208d935293dc5f31bf2de1f2d5b /pkgs/applications/science/logic/cvc4/default.nix | |
| parent | b32a78a97a325613296dd2dc4ba164d72a10414f (diff) | |
| download | nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.tar nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.tar.gz nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.tar.bz2 nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.tar.lz nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.tar.xz nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.tar.zst nixlib-faa90fad3fa97161e55ea28262ede574477db5e6.zip | |
mr: update from 1.20141024 to 1.20150503
Diffstat (limited to 'pkgs/applications/science/logic/cvc4/default.nix')
0 files changed, 0 insertions, 0 deletions