Index of /pub/gwdg/ubuntu/22.04/pool/main/d/dctrl-tools/

../
dctrl-tools_2.24-3build2_amd64.deb                 24-Mar-2022 11:16               66928
dctrl-tools_2.24-3build2_i386.deb                  24-Mar-2022 11:18               65852