Index of /debian/pool/main/d/dune-pdelab
Name Last modified Size
Parent Directory -
dune-pdelab_2.6~20180302-1.debian.tar.xz 2018-04-13 09:13 5.2K
dune-pdelab_2.6~20180302-1.dsc 2018-04-13 09:13 2.5K
dune-pdelab_2.6~20180302.orig.tar.xz 2018-04-13 09:13 516K
libdune-pdelab-dev_2.6~20180302-1+b11_amd64.deb 2019-03-16 01:14 316K
libdune-pdelab-dev_2.6~20180302-1+b11_arm64.deb 2019-03-16 00:44 316K
libdune-pdelab-dev_2.6~20180302-1+b11_armhf.deb 2019-03-16 00:59 315K
libdune-pdelab-dev_2.6~20180302-1+b11_i386.deb 2019-03-16 00:18 318K
libdune-pdelab-doc_2.6~20180302-1_all.deb 2018-04-13 10:26 20M
Apache/2.4.41 (Ubuntu) Server at mirror.fem-net.de Port 80