Index of /stable/debian-13-official-release/pool/main/d/dune-localfunctions/

../
libdune-localfunctions-dev_2.10.0-1+b1_amd64.deb   29-Sep-2025 14:55              127480
libdune-localfunctions-doc_2.10.0-1_all.deb        29-Sep-2025 14:59             4967544