../ kicad-symbols_5.1.5-ok1.debian.tar.xz 23-Jul-2022 12:55 7928 kicad-symbols_5.1.5-ok1.dsc 23-Jul-2022 12:55 1870 kicad-symbols_5.1.5-ok1_all.deb 23-Jul-2022 12:56 1211364 kicad-symbols_5.1.5.orig.tar.xz 23-Jul-2022 12:55 1097148