Skip to content

Remove the ocurl package definition#107

Open
MisterDA wants to merge 1 commit intomasterfrom
remove-ocurl
Open

Remove the ocurl package definition#107
MisterDA wants to merge 1 commit intomasterfrom
remove-ocurl

Conversation

@MisterDA
Copy link
Copy Markdown
Collaborator

I'm tempted to think that as ocurl.0.10.0 was published (soon released, I hope) to the opam repository, its package definition can stay there and we can remove it from the repository going on. This should also allow us to make ocaml-ci work again on the repository.

@vog
Copy link
Copy Markdown
Contributor

vog commented Apr 10, 2026

This appears to be a reasonable change, especially now, almost 1 year later, where 0.10.0 is used practically everywhere.

Is there any reason to further hold back this change?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants