2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-28 16:43:58 +00:00
nixpkgs/pkgs/development/tools/minizinc
2021-03-22 12:14:15 +00:00
..
default.nix minizinc: 2.5.4 -> 2.5.5 2021-03-22 12:14:15 +00:00
ide.nix Merge master into staging-next 2021-02-10 18:16:36 +00:00