nixpkgs/pkgs/applications/science/logic/cadical
2021-07-23 21:19:27 +02:00
..
default.nix cadical: install library 2021-07-23 21:19:27 +02:00