@hackage sequent-core dependencies

11 results