public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
169,479 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

4 Commits

Author SHA1 Message Date
Jörg Thalheim 37fe593d48
cryptominisat: switch to python3 2019-01-05 16:38:10 +01:00
Jörg Thalheim 4a4d1d6497
cryptominisat: 5.0.1 -> 5.6.6 2019-01-05 12:45:44 +01:00
Peter Hoeg 45248be2aa cryptominisat: use new xxd package instead of vim 2017-07-24 09:37:58 +08:00
Jörg Thalheim 893c7b6112
cryptominisat: init at 5.0.1 2017-05-22 22:25:14 +01:00