Index of /uos/pool/main/d/dune-pdelab/

../
dune-pdelab_2.6~20180302-1.debian.tar.xz           27-Mar-2020 22:03    5276
dune-pdelab_2.6~20180302-1.dsc                     27-Mar-2020 22:03    2596
dune-pdelab_2.6~20180302.orig.tar.xz               27-Mar-2020 22:03    516K
libdune-pdelab-dev_2.6~20180302-1+b11_amd64.deb    27-Mar-2020 22:03    316K
libdune-pdelab-dev_2.6~20180302-1+b11_arm64.deb    27-Mar-2020 22:03    316K
libdune-pdelab-dev_2.6~20180302-1+b11_i386.deb     27-Mar-2020 22:03    318K
libdune-pdelab-dev_2.6~20180302-1+b11_mips64el.deb 27-Mar-2020 22:03    316K
libdune-pdelab-doc_2.6~20180302-1_all.deb          27-Mar-2020 22:03     20M