jp6/cu128: links for ltl-parser