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

../
libdune-localfunctions-dev_2.7.1-2_all.deb         04-Sep-2024 19:05    113K
libdune-localfunctions-dev_2.9.0-2_amd64.deb       03-Sep-2024 07:16    121K
libdune-localfunctions-doc_2.7.1-2_all.deb         04-Sep-2024 19:05      4M
libdune-localfunctions-doc_2.9.0-2_all.deb         03-Sep-2024 07:16      4M