../ dune-pdelab_2.6~20180302-1.debian.tar.xz 26-Dec-2025 15:40 5276 dune-pdelab_2.6~20180302-1.dsc 26-Dec-2025 15:40 2596 dune-pdelab_2.6~20180302.orig.tar.xz 26-Dec-2025 15:40 516K libdune-pdelab-dev_2.6~20180302-1+b11_amd64.deb 26-Dec-2025 19:06 316K libdune-pdelab-dev_2.6~20180302-1+b11_i386.deb 26-Dec-2025 19:06 318K libdune-pdelab-doc_2.6~20180302-1_all.deb 26-Dec-2025 19:06 20M