Thank you very much! --Daniele
2018-07-26 13:38 GMT+02:00 Tiago de Paula Peixoto <ti...@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 <ti...@skewed.de> > > > _______________________________________________ > graph-tool mailing list > graph-tool@skewed.de > https://lists.skewed.de/mailman/listinfo/graph-tool > >
_______________________________________________ graph-tool mailing list graph-tool@skewed.de https://lists.skewed.de/mailman/listinfo/graph-tool