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
default.nix	gecode: 6.1.0 -> 6.1.1	2019-03-03 20:48:18 +01:00