kilianar c8546067ce kissat: 2.0.1 -> 3.0.0 ... https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0		2022-09-02 10:24:30 +02:00
..
default.nix
writable-passwd-is-ok.patch