summary refs log tree commit diff
path: root/pkgs/applications/science/logic/saw-tools
Commit message (Expand)AuthorAge
* treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott2022-06-23
* saw-tools: remove phasesFelix Buehler2021-08-03
* saw-tools: update license (#110920)Roland Coeurjoly2021-01-27
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* saw-tools: use default llvmLuka Blaskovic2020-01-30
* treewide: use libtinfo.so.5 where neededMatthew Bauer2019-09-18
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* reewide: Purge all uses `stdenv.system` and top-level `system`John Ericson2018-08-30
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* replace ${stdenv.cc.cc}/lib occurencesNikolay Amiantov2016-05-01
* ncurses: combine $lib and $out outputsThomas Tuegel2016-03-08
* ncurses: split into multiple outputsVladimír Čunát2015-10-13
* nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731Austin Seipp2015-08-30
* nixpkgs: saw-tools 0.1-20150609Austin Seipp2015-06-18