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

../
libdune-localfunctions-dev_2.10.0-1+b1_amd64.deb   28-Aug-2026 16:53    124K
libdune-localfunctions-dev_2.9.0-2_amd64.deb       28-Aug-2026 16:53    121K
libdune-localfunctions-doc_2.10.0-1_all.deb        28-Aug-2026 16:53      5M
libdune-localfunctions-doc_2.9.0-2_all.deb         28-Aug-2026 16:53      4M