Index of /pool/universe/d/dune-localfunctions/


../
dune-localfunctions_2.9.0-2ubuntu4.debian.tar.xz   22-Apr-2024 15:47                4992
dune-localfunctions_2.9.0-2ubuntu4.dsc             22-Apr-2024 15:47                2575
dune-localfunctions_2.9.0.orig.tar.xz              13-Jan-2023 07:38              152124
libdune-localfunctions-dev_2.9.0-2ubuntu4_amd64..> 22-Apr-2024 15:49              124840
libdune-localfunctions-doc_2.9.0-2ubuntu4_all.deb  22-Apr-2024 15:49             5047020