Commit message (Expand) | Author | Age | |
---|---|---|---|
* | boolector: patch usage of ar and ranlib for cross | Will Dietz | 2018-02-13 |
* | boolector: fix missing stdint.h include | Will Dietz | 2018-02-13 |
* | 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 |