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

	Name	Last modified	Size
	Parent Directory		-
	dune-pdelab_2.6~20180302-1.debian.tar.xz	13-Apr-2018 09:13	5.2K
	dune-pdelab_2.6~20180302-1.dsc	13-Apr-2018 09:13	2.5K
	dune-pdelab_2.6~20180302.orig.tar.xz	13-Apr-2018 09:13	516K
	libdune-pdelab-dev_2.6~20180302-1+b11_amd64.deb	16-Mar-2019 01:14	316K
	libdune-pdelab-dev_2.6~20180302-1+b11_arm64.deb	16-Mar-2019 00:44	316K
	libdune-pdelab-dev_2.6~20180302-1+b11_armhf.deb	16-Mar-2019 00:59	315K
	libdune-pdelab-dev_2.6~20180302-1+b11_i386.deb	16-Mar-2019 00:18	318K
	libdune-pdelab-doc_2.6~20180302-1_all.deb	13-Apr-2018 10:26	20M