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

../
dune-localfunctions_2.4.1-1.debian.tar.xz          29-Feb-2016 17:45    3092
dune-localfunctions_2.4.1-1.dsc                    29-Feb-2016 17:45    2454
dune-localfunctions_2.4.1.orig.tar.xz              29-Feb-2016 17:45    129K
dune-localfunctions_2.5.0-1.debian.tar.xz          18-Dec-2016 22:04    3132
dune-localfunctions_2.5.0-1.dsc                    18-Dec-2016 22:04    2776
dune-localfunctions_2.5.0.orig.tar.gz              18-Dec-2016 22:04    175K
dune-localfunctions_2.5.0.orig.tar.gz.asc          18-Dec-2016 22:04    1666
libdune-localfunctions-dev_2.4.1-1_all.deb         29-Feb-2016 17:45     98K
libdune-localfunctions-dev_2.5.0-1_all.deb         18-Dec-2016 22:04    106K
libdune-localfunctions-doc_2.4.1-1_all.deb         29-Feb-2016 17:45      4M
libdune-localfunctions-doc_2.5.0-1_all.deb         18-Dec-2016 22:04      4M