nixpkgs/pkgs/development/tools/minizinc
2023-05-12 11:08:49 +00:00
..
default.nix minizinc: 2.7.3 -> 2.7.4 2023-05-12 11:08:49 +00:00
ide.nix