Index of /debian-ports/pool-sh4/main/d/devtodo/

../
devtodo-dbgsym_0.1.20+git20200830.0ad52b0-3_sh4..> 12-Jun-2023 06:03              973332
devtodo_0.1.20+git20200830.0ad52b0-3_sh4.buildinfo 12-Jun-2023 06:03                6222
devtodo_0.1.20+git20200830.0ad52b0-3_sh4.deb       12-Jun-2023 06:03              141512