Skip to content

Remove the ocurl package definition#107

Merged
ygrek merged 1 commit into
masterfrom
remove-ocurl
Apr 17, 2026
Merged

Remove the ocurl package definition#107
ygrek merged 1 commit into
masterfrom
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?

@ygrek ygrek merged commit 0b4f219 into master Apr 17, 2026
8 of 9 checks passed
@MisterDA MisterDA deleted the remove-ocurl branch April 17, 2026 07:32
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.

3 participants