Created attachment 250997 [details] 0001-math-ocaml-ocamlgraph-Update-to-2.1.0-port-improveme.patch The attached patch updates math/ocaml-ocamlgraph to the latest version and fixes some issues with the current port. I'd also like to take on its maintenance, as it is unmaintained. When ocamlgraph is updated, the PORTREVISION of math/alt-ergo must be updated too.
Created attachment 250998 [details] 0002-math-alt-ergo-Bump-PORTREVISON-after-ocamlgraph-upda.patch