Robuta

https://lists.debian.org/debian-tex-maint/2021/08/msg00015.html Bug#992471: segmentation fault with "info -a ..." segmentation fault bug info https://lists.debian.org/debian-tex-maint/2021/08/msg00013.html Bug#992471: segmentation fault with "info -a ..." segmentation fault bug info