Index of /mirror/debian/pool/main/d/devtodo/


../
devtodo_0.1.20+git20200830.0ad52b0-2_arm64.deb     10-Nov-2022 13:27              115384
devtodo_0.1.20+git20200830.0ad52b0-2_armel.deb     10-Nov-2022 11:57              115464
devtodo_0.1.20+git20200830.0ad52b0-2_armhf.deb     10-Nov-2022 11:11              118116