K 10 svn:author V 6 brooks K 8 svn:date V 27 2018-05-06T15:35:58.172490Z K 7 svn:log V 258 Remove this obsolete port of Temporally Enhanced Security Logic Assertions (TESLA). It's one of two dependencies on clang33/llvm33 and no one is using it (we'd be seeing support requests if they were). Should a new version be useful, we'll add a new port. END