2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 04:33:57 +00:00
nixpkgs/pkgs/development/tools/minizinc
2023-06-24 15:58:30 +00:00
..
simple-test minizinc: fix build inputs, format 2023-06-01 21:12:25 +02:00
default.nix minizinc: 2.7.5 -> 2.7.6 2023-06-24 15:58:30 +00:00
gecode.msc
ide.nix minizinc: fix build inputs, format 2023-06-01 21:12:25 +02:00