Index of /pub/gwdg/ubuntu/22.04/pool/universe/g/gatos/

../
gatos_0.0.5-19ubuntu2_i386.deb                     22-Mar-2020 17:20              106696
libgatos-dev_0.0.5-19ubuntu2_i386.deb              22-Mar-2020 17:20               93240
libgatos0_0.0.5-19ubuntu2_i386.deb                 22-Mar-2020 17:20               70048