| Summary: | math/ocaml-ocamlgraph: Update to 2.1.0 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Benjamin Jacobs <freebsd> | ||||||
| Component: | Individual Port(s) | Assignee: | freebsd-ports-bugs (Nobody) <ports-bugs> | ||||||
| Status: | New --- | ||||||||
| Severity: | Affects Some People | ||||||||
| Priority: | --- | ||||||||
| Version: | Latest | ||||||||
| Hardware: | Any | ||||||||
| OS: | Any | ||||||||
| Attachments: |
|
||||||||
Created attachment 250998 [details]
0002-math-alt-ergo-Bump-PORTREVISON-after-ocamlgraph-upda.patch
|
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.