summary refs log tree commit diff
path: root/pkgs/applications/science/logic/minisat
Commit message (Expand)AuthorAge
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* minisat: 2.2.0 -> 2.2.1Franz Pletz2019-12-30
* minisatUnstable: fix build with gcc9Franz Pletz2019-11-05
* minisat: fix build with gcc9Franz Pletz2019-11-04
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* minisat: fix maintainerSamuel Leathers2017-05-22
* minisatUnstable: init at 2013-09-25Jörg Thalheim2017-05-22
* minisat: Fix build on DarwinEelco Dolstra2016-12-09
* minisat: support clangGabriel Ebner2016-06-19
* minisat: migrate from builderDefsPackage to mkDerivationGabriel Ebner2016-05-08
* Fix broken license references.Peter Simons2014-07-28
* Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* Adding MiniSATMichael Raskin2010-12-05
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-29 19:02:08 +0000