nixpkgs/pkgs/applications/science/logic/leo3
2020-09-19 15:05:02 +02:00
..
binary.nix leo3: fix executable 2020-09-19 15:05:02 +02:00