2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 20:23:02 +00:00
nixpkgs/pkgs/development/tools/minizinc
2022-03-23 21:44:49 +00:00
..
default.nix minizinc: 2.6.1 -> 2.6.2 2022-03-23 21:44:49 +00:00
ide.nix