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

../
dune-localfunctions_2.3.1-1.debian.tar.xz          27-Sep-2017 16:58    2752
dune-localfunctions_2.3.1-1.dsc                    27-Sep-2017 16:58    2442
dune-localfunctions_2.3.1.orig.tar.xz              27-Sep-2017 16:58    126K
libdune-localfunctions-dev_2.3.1-1_all.deb         27-Sep-2017 14:52     91K
libdune-localfunctions-doc_2.3.1-1_all.deb         27-Sep-2017 18:31    769K