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