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

../
libdune-localfunctions-dev_2.11.0-1_amd64.deb      09-Oct-2026 10:56              131426
libdune-localfunctions-dev_2.8.0-5ubuntu2_amd64..> 09-Oct-2026 10:56              123098
libdune-localfunctions-dev_2.9.0-2ubuntu4_amd64..> 09-Oct-2026 10:56              124840
libdune-localfunctions-doc_2.11.0-1_all.deb        09-Oct-2026 10:56             9456482
libdune-localfunctions-doc_2.8.0-5ubuntu2_all.deb  09-Oct-2026 10:56             4116276
libdune-localfunctions-doc_2.9.0-2ubuntu4_all.deb  09-Oct-2026 10:56             5047020