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