Index of /pub/gwdg/ubuntu/22.04/pool/universe/p/pugixml/

../
libpugixml-dev_1.12.1-1_amd64.deb                  23-Feb-2022 17:39              114164
libpugixml1v5_1.12.1-1_amd64.deb                   23-Feb-2022 17:39               91654
pugixml-doc_1.12.1-1_all.deb                       23-Feb-2022 17:39              250562