about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/picosat
AgeCommit message (Expand)AuthorFilesLines
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel1-2/+2
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-5/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2018-03-24picosat: fix darwin buildDaiderd Jordan1-0/+3
2018-02-13picosat: fix ar and ranlib usage for crossWill Dietz1-0/+4
2018-02-13picosat: fixup include for unistd.hWill Dietz1-0/+4
2017-10-16picosat: install more stuffAustin Seipp1-1/+3
2016-04-02picosat: enable proof output and install various utilsGabriel Ebner1-3/+2
2016-04-02picosat: 960 -> 965Gabriel Ebner1-4/+3
2015-06-14nixpkgs: picosat 936 -> 960, add myself as a maintainerAustin Seipp1-20/+12
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-1/+1
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-3/+3
2011-10-17Package for picosat.Russell O'Connor1-0/+41