Am 26.07.2018 um 11:59 schrieb Tiago de Paula Peixoto:
> All that is needed if for a 'core' dev to adopt it, so it can be included in
> the main repo. You can vote for the package in AUR (and get your friends to
> do it too), and lobby the devs for inclusion.
Some more info on this. Probably the best way to proceed is to convince a
"Trusted User" to adopt the package. Here is a list of trusted users:
https://wiki.archlinux.org/index.php/Trusted_Users
The package is low-maintenance, so it should not be a large burden.
_______________________________________________
graph-tool mailing list
graph-tool@skewed.de
https://lists.skewed.de/mailman/listinfo/graph-tool