1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 07:34:36 +00:00
nixpkgs/pkgs/development/tools/minizinc
Daniël de Kok a81e873f4e minizinc: 2.2.3 -> 2.4.3, fix build
- Update minizinc to 2.4.3.
- Fix build with newer Bison versions.
2020-08-09 10:14:57 -07:00
..
default.nix
ide.nix