Commit message (Expand) | Author | Age | |
---|---|---|---|
* | boolector: 1.{5,6} -> 2.4.1 | Symphorien Gibol | 2017-07-18 |
* | treewide: fix darwin builds by using getOutput | Robin Gloster | 2016-08-25 |
* | treewide: fix darwin builds by referring to stdenv's libc | Franz Pletz | 2016-08-25 |
* | boolector: fix build with multiple outputs | Robin Gloster | 2016-08-24 |
* | boolector: add version 1.5 and 1.6 | Austin Seipp | 2014-04-07 |