paulch42/lean-spec not found