William Carroll 1bb32b1bcc Disable failing goals/default.nix ... Disabling failing packages until I can get a working CI build.		2020-08-20 11:26:31 +01:00
..
build-socrates.sh	Disable failing goals/default.nix	2020-08-20 11:26:31 +01:00