nixpkgs/pkgs/development/tools/minizinc
2020-03-14 14:25:50 +01:00
..
default.nix
ide.nix