Index of /seedlin/pool/main/d/devtodo/

../
devtodo_0.1.20+git20200830.0ad52b0-3+b1_riscv64..> 11-Jun-2026 16:34              130928
devtodo_0.1.20+git20200830.0ad52b0-3.debian.tar.xz 11-Jun-2026 16:34               12944
devtodo_0.1.20+git20200830.0ad52b0-3.dsc           11-Jun-2026 16:34                2066
devtodo_0.1.20+git20200830.0ad52b0-3_amd64.deb     11-Jun-2026 16:34              128024
devtodo_0.1.20+git20200830.0ad52b0.orig.tar.gz     11-Jun-2026 16:34              150364