On Thu, Feb 10, 2022 at 5:26 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > On Wed, Feb 09, 2022 at 08:31:31AM -0700, Jerry James wrote: > > On Fri, Feb 4, 2022 at 5:24 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > > > On Thu, Feb 03, 2022 at 08:03:27PM -0700, Jerry James wrote: > > > > ocaml-tplib > > > > > > I think this is the only ocaml one? I can take it. > > > > Yes, it is. It is an optional polymake dependency. The last upstream > > release was in 2013, which suggests that upstream is dead. If it ever > > becomes unbuildable, we can drop it without breaking polymake. > > In that case, should we in fact let it go orphaned? That seems like a > better plan if it's not really needed. And here I am apologizing for being slow again. Sorry, lots going on to distract me from email. It is, in fact, used by polymake. What I meant is that it is an optional component of polymake, not something that would completely break polymake if it were unavailable. On the other hand, it is useful, so I think we should keep it as long as it keeps building. -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
