Index of /pub/gwdg/ubuntu/22.04/pool/universe/d/dune-localfunctions/

../
libdune-localfunctions-dev_2.8.0-5ubuntu2_amd64..> 04-Nov-2021 13:29              123098
libdune-localfunctions-doc_2.8.0-5ubuntu2_all.deb  04-Nov-2021 13:29             4116276