nixpkgs/pkgs/development/tools/minizinc
2022-02-25 11:44:22 -08:00
..
default.nix minizinc: 2.5.5 -> 2.6.0 2022-02-25 11:44:22 -08:00
ide.nix