Index of /deb.debian.org/debian/pool/main/s/semi/

../
semi_1.14.7~0.20230104-1.dsc                       08-Jan-2023 18:27    1895
semi_1.14.7~0.20230104-1_all.deb                   08-Jan-2023 18:52    108K
semi_1.14.7~0.20230104.orig.tar.gz                 08-Jan-2023 18:27    147K