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

../
dune-localfunctions_2.6.0-1.debian.tar.xz          27-Mar-2020 22:03    3600
dune-localfunctions_2.6.0-1.dsc                    27-Mar-2020 22:03    2756
dune-localfunctions_2.6.0.orig.tar.gz              27-Mar-2020 22:03    173K
dune-localfunctions_2.6.0.orig.tar.gz.asc          27-Mar-2020 22:03     473
libdune-localfunctions-dev_2.6.0-1_all.deb         27-Mar-2020 22:03    106K
libdune-localfunctions-doc_2.6.0-1_all.deb         27-Mar-2020 22:03      4M