New comment by sgn on void-packages repository https://github.com/void-linux/void-packages/pull/22192#issuecomment-633632827 Comment: On 2020-05-25 07:06:28-0700, Érico Nogueira Rolim wrote: > But processing the dependencies shouldn't waste too much time, > I think. Do you think the inconvenience of manually propagating this > sort of info is worth it, then? I think manually propagating this information will cost us once and benefits a lot. Let's take a look at https://build.voidlinux.org/builders/armv6l-musl_builder/builds/26349/steps/shell_3/logs/stdio It takes use 7mins for doing nothing :/ -- Danh