Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | picosat: fix darwin build | Daiderd Jordan | 2018-03-24 |
* | picosat: fix ar and ranlib usage for cross | Will Dietz | 2018-02-13 |
* | picosat: fixup include for unistd.h | Will Dietz | 2018-02-13 |
* | picosat: install more stuff | Austin Seipp | 2017-10-16 |
* | picosat: enable proof output and install various utils | Gabriel Ebner | 2016-04-02 |
* | picosat: 960 -> 965 | Gabriel Ebner | 2016-04-02 |
* | nixpkgs: picosat 936 -> 960, add myself as a maintainer | Austin Seipp | 2015-06-14 |
* | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 |
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
* | Package for picosat. | Russell O'Connor | 2011-10-17 |