about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/minisat
AgeCommit message (Expand)AuthorFilesLines
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30minisat: 2.2.0 -> 2.2.1Franz Pletz4-114/+8
2019-11-05minisatUnstable: fix build with gcc9Franz Pletz1-0/+2
2019-11-04minisat: fix build with gcc9Franz Pletz1-0/+2
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2-2/+2
2017-05-22minisat: fix maintainerSamuel Leathers1-1/+1
2017-05-22minisatUnstable: init at 2013-09-25Jörg Thalheim1-0/+23
2016-12-09minisat: Fix build on DarwinEelco Dolstra2-1/+29
2016-06-19minisat: support clangGabriel Ebner2-1/+48
2016-05-08minisat: migrate from builderDefsPackage to mkDerivationGabriel Ebner1-49/+21
2014-07-28Fix broken license references.Peter Simons1-5/+5
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk1-2/+1
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra1-1/+1
2010-12-05Adding MiniSATMichael Raskin1-0/+57