Index of /ubuntu/pool/universe/d/dune-localfunctions/

../
dune-localfunctions_2.4.1-1.debian.tar.xz          07-Apr-2016 14:29                3092
dune-localfunctions_2.4.1-1.dsc                    07-Apr-2016 14:29                2454
dune-localfunctions_2.4.1.orig.tar.xz              07-Apr-2016 14:29              132216
libdune-localfunctions-dev_2.4.1-1_all.deb         07-Apr-2016 15:23              100646
libdune-localfunctions-doc_2.4.1-1_all.deb         07-Apr-2016 15:23             4475788