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
/
cryptominisat
/
default.nix
Commit message (
Expand
)
Author
Age
*
cryptominisat: 5.11.12 -> 5.11.14
R. Ryantm
2023-10-04
*
cryptominisat: 5.11.11 -> 5.11.12
R. Ryantm
2023-08-24
*
cryptominisat: 5.11.4 -> 5.11.11
R. Ryantm
2023-06-28
*
cryptominisat: 5.8.0 -> 5.11.4
kilianar
2023-02-24
*
treewide: editorconfig fixes
zowoq
2021-01-20
*
treewide: with stdenv.lib; in meta -> with lib;
Profpatsch
2021-01-11
*
cryptominisat: use fetchpatch
Jörg Thalheim
2020-07-09
*
cryptominisat: fix build on darwin
Jörg Thalheim
2020-07-09
*
cryptominisat: 5.7.1 -> 5.8.0
R. RyanTM
2020-07-08
*
cryptominisat: 5.7.0 -> 5.7.1
R. RyanTM
2020-05-27
*
cryptominisat: 5.6.8 -> 5.7.0
R. RyanTM
2020-05-04
*
treewide: Per RFC45, remove all unquoted URLs
Michael Reilly
2020-04-10
*
treewide: name -> pname (easy cases) (#66585)
volth
2019-08-15
*
treewide: remove unused variables (#63177)
volth
2019-06-16
*
cryptominisat: 5.6.6 -> 5.6.8
R. RyanTM
2019-03-01
*
cryptominisat: switch to python3
Jörg Thalheim
2019-01-05
*
cryptominisat: 5.0.1 -> 5.6.6
Jörg Thalheim
2019-01-05
*
cryptominisat: use new xxd package instead of vim
Peter Hoeg
2017-07-24
*
cryptominisat: init at 5.0.1
Jörg Thalheim
2017-05-22