nixpkgs/pkgs/development/tools/minizinc
2023-04-04 05:29:06 +00:00
..
default.nix minizinc: 2.7.0 -> 2.7.1 2023-04-04 05:29:06 +00:00
ide.nix