Index of /mirror/deb.debian.org/debian/pool/main/d/devtodo/

../
devtodo_0.1.20+git20200830.0ad52b0-1_amd64.deb     10-Oct-2023 10:33              133272
devtodo_0.1.20+git20200830.0ad52b0-1_armhf.deb     10-Oct-2023 10:33              121436
devtodo_0.1.20+git20200830.0ad52b0-2_amd64.deb     10-Oct-2023 10:33              127908
devtodo_0.1.20+git20200830.0ad52b0-2_armhf.deb     10-Oct-2023 10:33              118116
devtodo_0.1.20-6.1+b1_amd64.deb                    10-Oct-2023 03:31              128256
devtodo_0.1.20-6.1+b1_armhf.deb                    10-Oct-2023 03:31              115528