Candidates for sequent-core

No candidates exist for sequent-core. Upload one for this or another package?