Sorry for the slow response. $REAL_LIFE has been keeping me hopping for several days now. 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. -- 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
