diff options
| author | Austin Seipp <aseipp@pobox.com> | 2014-04-06 11:47:42 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-04-07 09:17:05 -0500 |
| commit | 5aa4495cb56ef99df21e9ac42cc2cc98d460426c (patch) | |
| tree | b2d1bc4d213fb1ee20d0616ac6af1cf81e4cbf20 /pkgs/development/python-modules/httpserver | |
| parent | 807fad571a892abcdca133acb98bbb03ac557efc (diff) | |
boolector: add version 1.5 and 1.6
There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.
As a result, Boolector 1.5 is the default 'boolector' expression.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions