Franz Pletz 1a871b4382 minisat: 2.2.0 -> 2.2.1		2019-12-30 03:50:35 +01:00
..
default.nix	minisat: 2.2.0 -> 2.2.1	2019-12-30 03:50:35 +01:00