Momentan gibt es in den Backports von Debian Stable nur Version 4.08 von KiCad. Weiß jemand ob geplant ist, für Debian Stable auch die Version 5.0 in den Backports zur Verfügung zu stellen? Siehe dazu auch: https://packages.debian.org/stretch-backports/electronics/ und: http://kicad-pcb.org/download/debian/