Index of /debian/pool/main/d/dotty-dict/

../
dotty-dict_1.3.1-2.debian.tar.xz                   02-Oct-2022 00:04    3548
dotty-dict_1.3.1-2.dsc                             02-Oct-2022 00:04    2216
dotty-dict_1.3.1.orig.tar.gz                       12-Sep-2022 18:14     40K