nixpkgs/pkgs/development/tools/minizinc
2022-08-23 22:25:47 +02:00
..
default.nix minizinc: 2.6.2 -> 2.6.4 2022-08-23 22:25:47 +02:00
ide.nix