Index of /mirror/archive.ubuntu.com/ubuntu.20250822/pool/universe/d/dune-localfunctions/

../
libdune-localfunctions-dev_2.6.0-1build1_all.deb   18-Jul-2018 09:43    104K
libdune-localfunctions-dev_2.8.0-5ubuntu2_amd64..> 04-Nov-2021 16:29    120K
libdune-localfunctions-dev_2.9.0-2ubuntu4_amd64..> 22-Apr-2024 18:49    122K
libdune-localfunctions-doc_2.6.0-1build1_all.deb   18-Jul-2018 09:43      4M
libdune-localfunctions-doc_2.8.0-5ubuntu2_all.deb  04-Nov-2021 16:29      4M
libdune-localfunctions-doc_2.9.0-2ubuntu4_all.deb  22-Apr-2024 18:49      5M