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              132216
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              179344
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              100170
libdune-localfunctions-dev_2.5.0-1_all.deb         18-Dec-2016 22:04              108672
libdune-localfunctions-doc_2.4.1-1_all.deb         29-Feb-2016 17:45             4083976
libdune-localfunctions-doc_2.5.0-1_all.deb         18-Dec-2016 22:04             4158294