Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update yices to add libpoly/mcsat functionality and add soname target. | Kevin Quick | 2017-07-06 |
* | yices: Add darwin to meta.platforms | Will Dietz | 2016-10-30 |
* | yices: Build in parallel, run tests, fix test shebang. | Will Dietz | 2016-10-26 |
* | yices: fix install target by using 'true' as ldconfig | Will Dietz | 2016-10-26 |
* | yices: 2.3.1 -> 2.5.1 | Will Dietz | 2016-10-26 |
* | yices: use correct static gmp | Vladimír Čunát | 2015-10-28 |
* | gmp: split into multiple outputs | Vladimír Čunát | 2015-10-28 |
* | nixpkgs: yices 2.2.1 -> 2.3.1, now with source | Austin Seipp | 2015-06-14 |
* | meta.description fixups | Joachim Fasting | 2015-04-30 |
* | Change occurrences of gcc to the more general cc | John Wiegley | 2014-12-26 |
* | Fix various evaluation problems | Eelco Dolstra | 2014-08-22 |
* | nixpkgs: yices 2.2.1 | Austin Seipp | 2014-04-27 |