Index of /pub/gwdg/ubuntu/22.04/pool/universe/libm/libmawk/

../
libmawk-dev_1.0.2-3_all.deb                        07-Aug-2020 23:28               21672
libmawk1_1.0.2-3_amd64.deb                         07-Aug-2020 23:28              150308