edef dc87be5fb9 solvespace: 2.3-20190422 -> 2.3-20190501 ... This reverts the change in git commit hash handling, but is otherwise identical.		2019-05-01 09:06:36 +00:00
..
default.nix	solvespace: 2.3-20190422 -> 2.3-20190501	2019-05-01 09:06:36 +00:00