../ dune-localfunctions_2.6.0-1.1.debian.tar.xz 21-Mar-2023 07:51 3660 dune-localfunctions_2.6.0-1.1.dsc 21-Mar-2023 07:51 1856 dune-localfunctions_2.6.0.orig.tar.gz 21-Mar-2023 07:51 177251 dune-localfunctions_2.6.0.orig.tar.gz.asc 21-Mar-2023 07:51 473 libdune-localfunctions-dev_2.6.0-1.1_all.deb 21-Feb-2023 11:54 108136 libdune-localfunctions-doc_2.6.0-1.1_all.deb 21-Feb-2023 11:54 4458104