nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-07 12:44:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
020ff6989a
nixpkgs/pkgs/development/tools/minizinc
History
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 minizinc: 2.2.3 -> 2.4.3, fix build 2020-08-09 10:14:57 -07:00
ide.nix minizincide: 2.4.2 -> 2.4.3 2020-04-06 06:07:50 +00:00