Release on OPAM/Update Coq Package Index entry #7

Open

Labels

help wantedquestion

opened

Don't know anything yet about how to do either of these. Any input would be helpful.

Metadata

Assignees

No one assigned

Labels

help wantedquestion

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests