Index of /debian-dev/pool/main/d/devtodo
Name
Last modified
Size
Description
Parent Directory
-
devtodo_0.1.20+git20200830.0ad52b0-1_amd64.deb
2021-01-06 20:26
130K
devtodo_0.1.20-6.1+b1_amd64.deb
2018-05-15 09:58
125K
devtodo_0.1.20-6.1_amd64.deb
2016-10-19 15:44
127K