pkgs/development/tools/minizinc · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development tools minizinc

1 folder · 3 files

at devShellTools-shell

Weijia Wang · minizinc: 2.9.2 -> 2.9.3 (#410156) · 1y ago

minizinc: 2.9.2 -> 2.9.3

minizincide: fix broken icon