../ ktexteditor-5.32.0-3.1.armv7hl.rpm 24-Oct-2017 16:22 1017K ktexteditor-debuginfo-5.32.0-3.1.armv7hl.rpm 24-Oct-2017 16:22 12M ktexteditor-debugsource-5.32.0-3.1.armv7hl.rpm 24-Oct-2017 16:22 951K ktexteditor-devel-5.32.0-3.1.armv7hl.rpm 24-Oct-2017 16:22 89K