Alexander Villalba Sat, 19 May 2018 02:55:10 -0700
Dear Friends!: why gdb-doc is in non-free ??!: https://packages.debian.org/search?keywords=gdb-doc
gdb-doc is also GNU