diff options
| author | Austin Seipp <aseipp@pobox.com> | 2014-04-06 11:47:42 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-04-07 07:30:08 -0500 |
| commit | 98a1d07fd3a8704ee537808d185d06c3bfe35a3a (patch) | |
| tree | 0e1624e3c31831acd9448c55fcce40b499283403 /pkgs/development/python-modules/rangehttpserver | |
| parent | eb22e5f0269cd28591b66e456dcb1044570fc165 (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/rangehttpserver')
0 files changed, 0 insertions, 0 deletions