../ dune-pdelab_2.6~20180302-1+rpi1.debian.tar.xz 04-May-2018 19:25 5376 dune-pdelab_2.6~20180302-1+rpi1.dsc 04-May-2018 19:25 1708 dune-pdelab_2.6~20180302.orig.tar.xz 13-Apr-2018 01:13 528512 libdune-pdelab-dev_2.6~20180302-1+rpi1+b1_armhf..> 04-May-2018 22:08 322656 libdune-pdelab-doc_2.6~20180302-1+rpi1_all.deb 04-May-2018 19:25 20852580