Skip to content

Conversation

@bobot
Copy link
Contributor

@bobot bobot commented Nov 20, 2025

Stub of the C library Flint3

CHANGES:

Copy link
Member

@jmid jmid left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

A couple of questions and remarks:

Out of curiosity: I see antic, arb, and calcium are deprecated as they have been incorporated into flint. For how long do you plan to release forwarding releases of these? (I have archiving in mind) Perhaps adding a post-messages entry could encourage clients to update their dependencies? 🤔

Platform-wise it looks like conf-flint on Alpine, Centos, and FreeBSD could use a hand (...but probably as a separate PR that this one could benefit from)

There are runtest failures on arm32 and ppc64. What do you make of these?

Finally, would you consider adding an x-maintenance-intent entries?
https://github.com/ocaml/opam-repository/blob/master/governance/policies/archiving.md

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants