Austin Seipp c10650760d yices: s/fetchurl/fetchFromGitHub/ ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2019-01-08 19:15:24 -06:00
..
default.nix	yices: s/fetchurl/fetchFromGitHub/	2019-01-08 19:15:24 -06:00