nixpkgs/pkgs/development/tools/minizinc
2022-01-01 22:54:39 +01:00
..
default.nix various: cleanup of "inherit version;" 2021-07-18 00:19:24 +02:00
ide.nix minizincide: 2.5.3 -> 2.5.5 2022-01-01 22:54:39 +01:00