nixpkgs/pkgs/development/tools/minizinc
2021-02-10 18:16:36 +00:00
..
default.nix minizincide: 2.4.3 -> 2.5.3 2021-02-09 15:37:12 +01:00
ide.nix Merge master into staging-next 2021-02-10 18:16:36 +00:00