Index of /dev/pool/main/d/dune-localfunctions/

../
dune-localfunctions_2.9.0-2.debian.tar.xz          13-Jan-2023 00:10                4756
dune-localfunctions_2.9.0-2.dsc                    13-Jan-2023 00:10                2439
dune-localfunctions_2.9.0.orig.tar.xz              13-Jan-2023 00:10              152124
libdune-localfunctions-dev_2.9.0-2_amd64.deb       13-Jan-2023 13:59              123732
libdune-localfunctions-doc_2.9.0-2_all.deb         13-Jan-2023 13:44             4271560