nixpkgs/pkgs/development/tools/minizinc
2022-01-01 22:54:39 +01:00
..
default.nix
ide.nix minizincide: 2.5.3 -> 2.5.5 2022-01-01 22:54:39 +01:00