index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
/
minisat
Commit message (
Expand
)
Author
Age
*
treewide: with stdenv.lib; in meta -> with lib;
Profpatsch
2021-01-11
*
treewide: Per RFC45, remove all unquoted URLs
Michael Reilly
2020-04-10
*
minisat: 2.2.0 -> 2.2.1
Franz Pletz
2019-12-30
*
minisatUnstable: fix build with gcc9
Franz Pletz
2019-11-05
*
minisat: fix build with gcc9
Franz Pletz
2019-11-04
*
treewide: remove redundant rec
volth
2019-08-28
*
treewide: name -> pname (easy cases) (#66585)
volth
2019-08-15
*
pkgs: refactor needless quoting of homepage meta attribute (#27809)
Silvan Mosberger
2017-08-01
*
minisat: fix maintainer
Samuel Leathers
2017-05-22
*
minisatUnstable: init at 2013-09-25
Jörg Thalheim
2017-05-22
*
minisat: Fix build on Darwin
Eelco Dolstra
2016-12-09
*
minisat: support clang
Gabriel Ebner
2016-06-19
*
minisat: migrate from builderDefsPackage to mkDerivation
Gabriel Ebner
2016-05-08
*
Fix broken license references.
Peter Simons
2014-07-28
*
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
*
Adding MiniSAT
Michael Raskin
2010-12-05