Will Dietz 1151a0182d gecode: 6.0.0 -> 6.1.0 ... https://github.com/Gecode/gecode/releases/tag/release-6.1.0		2018-12-01 13:55:33 -06:00
..
3.nix
default.nix	gecode: 6.0.0 -> 6.1.0	2018-12-01 13:55:33 -06:00