Robuta

https://lists.debian.org/debian-tetex-maint/2005/06/msg00058.html Bug#312265: tetex-bin: texdoctk: gv is now in /usr/bin/ is now bug tetex bin gv https://lists.debian.org/debian-tex-maint/2014/05/msg00213.html Bug#312265: Nachfolgend finden Sie Stellenangebot vom 23.05.2014 zur Durchsicht finden sie https://lists.debian.org/debian-tetex-maint/2005/06/msg00050.html Bug#312265: tetex-bin: texdoctk: gv is now in /usr/bin/ is now bug tetex bin gv