Candidates for tamarin-prover-utils

No candidates exist for tamarin-prover-utils. Upload one for this or another package?