Thank you very much!

--Daniele

2018-07-26 13:38 GMT+02:00 Tiago de Paula Peixoto <tiago@skewed.de>:
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.

Best,
Tiago

--
Tiago de Paula Peixoto <tiago@skewed.de>


_______________________________________________
graph-tool mailing list
graph-tool@skewed.de
https://lists.skewed.de/mailman/listinfo/graph-tool