The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /debian/pool/main/s/semi/

../
semi_1.14.7~0.20120428-24.debian.tar.xz            19-Aug-2018 15:33               72064
semi_1.14.7~0.20120428-24.dsc                      19-Aug-2018 15:33                1941
semi_1.14.7~0.20120428-24_all.deb                  19-Aug-2018 15:33              167496
semi_1.14.7~0.20120428.orig.tar.gz                 11-May-2013 09:16              146623
semi_1.14.7~0.20201115-2.debian.tar.xz             06-Feb-2021 11:12               11244
semi_1.14.7~0.20201115-2.dsc                       06-Feb-2021 11:12                1895
semi_1.14.7~0.20201115-2_all.deb                   06-Feb-2021 11:37              117984
semi_1.14.7~0.20201115.orig.tar.gz                 27-Dec-2020 07:01              150066
semi_1.14.7~0.20230104-1.debian.tar.xz             08-Jan-2023 08:57               11380
semi_1.14.7~0.20230104-1.dsc                       08-Jan-2023 08:57                1895
semi_1.14.7~0.20230104-1_all.deb                   08-Jan-2023 09:22              110536
semi_1.14.7~0.20230104.orig.tar.gz                 08-Jan-2023 08:57              150635

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.