../ dune-localfunctions_2.8.0-5ubuntu2.debian.tar.xz 04-Nov-2021 13:28 4408 dune-localfunctions_2.8.0-5ubuntu2.dsc 04-Nov-2021 13:28 2722 dune-localfunctions_2.8.0.orig.tar.gz 22-Oct-2021 05:23 212357 dune-localfunctions_2.8.0.orig.tar.gz.asc 22-Oct-2021 05:23 862 libdune-localfunctions-dev_2.8.0-5ubuntu2_amd64..> 04-Nov-2021 13:29 123098 libdune-localfunctions-doc_2.8.0-5ubuntu2_all.deb 04-Nov-2021 13:29 4116276