Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | cvc3: enable for darwin | Robert Scott | 2020-09-22 |
* | cvc3: fix build against bison 3.7 | Robert Scott | 2020-09-22 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | cvc3: Add gcc6 patch from Gentoo. | Will Dietz | 2017-08-29 |
* | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
* | cvc3: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
* | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
* | cvc3: update from 2.2 to 2.4.1 | Nixpkgs Monitor | 2013-12-18 |
* | Adding CVC3 satisfiability modulo theory (SMT) solver | Michael Raskin | 2010-12-05 |