nixpkgs/pkgs/development/tools/minizinc
2022-01-01 22:54:39 +01:00
..
default.nix
ide.nix