nixpkgs/pkgs/development/libraries/gecode
R. RyanTM 56e1fa2ad4 gecode: 6.1.0 -> 6.1.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gecode/versions
2019-03-03 20:48:18 +01:00
..
3.nix gecode_3: use bash to run "configure", fix error 2018-03-01 09:16:18 -06:00
default.nix gecode: 6.1.0 -> 6.1.1 2019-03-03 20:48:18 +01:00