Gabriel Ebner b1c149d47a tptp: use urls instead of url ... nix-prefetch-url breaks if the url argument to fetchurl is a list.		2018-11-15 15:56:18 +01:00
..
default.nix	tptp: use urls instead of url	2018-11-15 15:56:18 +01:00