nixpkgs/pkgs/development/tools/minizinc
2016-09-06 06:16:42 +02:00
..
default.nix minizinc: init at 2.0.14 (#18308) 2016-09-06 06:16:42 +02:00