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

../
devtodo-dbgsym_0.1.20+git20200830.0ad52b0-3_x32..> 13-Jun-2023 02:03             1394316
devtodo_0.1.20+git20200830.0ad52b0-3_x32.buildinfo 13-Jun-2023 02:03                6337
devtodo_0.1.20+git20200830.0ad52b0-3_x32.deb       13-Jun-2023 02:03              130396