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


../
dune-localfunctions_2.6.0-1.debian.tar.xz          01-May-2018 02:00                3600
dune-localfunctions_2.6.0-1.dsc                    01-May-2018 02:00                2756
dune-localfunctions_2.6.0.orig.tar.gz              01-May-2018 02:00              177251
dune-localfunctions_2.6.0.orig.tar.gz.asc          01-May-2018 02:00                 473
libdune-localfunctions-dev_2.6.0-1_all.deb         01-May-2018 02:03              108112
libdune-localfunctions-doc_2.6.0-1_all.deb         01-May-2018 02:03             4457924