nixpkgs/pkgs/development/tools/minizinc
2023-02-24 05:06:31 +00:00
..
default.nix minizinc: 2.6.4 -> 2.7.0 2023-02-24 05:06:31 +00:00
ide.nix