R. RyanTM f901019706 gecode: 6.1.1 -> 6.2.0 ... 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-04-14 11:49:35 -07: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.1 -> 6.2.0	2019-04-14 11:49:35 -07:00