Candidates for simple-ltl

No candidates exist for simple-ltl. Upload one for this or another package?