Michael Raskin ca495a53a5 tptp: fix hash		2016-06-20 18:38:08 +02:00
..
default.nix	tptp: fix hash	2016-06-20 18:38:08 +02:00