Commit message (Expand) | Author | Age | |
---|---|---|---|
* | boolector: add patch for CVE-2019-7560 | Robert Scott | 2019-12-12 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | boolector: 2.4.1 -> 3.0.0, relicensed to MIT | Austin Seipp | 2018-08-15 |
* | 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 |