Index of /pub/gwdg/ubuntu/22.04/pool/universe/m/mini18n/


../
libmini18n-dev_0.2.1-1_amd64.deb                   05-Dec-2011 16:05                4142
libmini18n1-dbg_0.2.1-1_amd64.deb                  05-Dec-2011 16:05               12020
libmini18n1_0.2.1-1_amd64.deb                      05-Dec-2011 16:05                7620