../ semi_1.14.7~0.20230104-1.debian.tar.xz 08-Jan-2023 17:57 11K semi_1.14.7~0.20230104-1.dsc 08-Jan-2023 17:57 1895 semi_1.14.7~0.20230104-1_all.deb 08-Jan-2023 18:22 108K semi_1.14.7~0.20230104.orig.tar.gz 08-Jan-2023 17:57 147K