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

	Name	Last modified	Size
	Parent Directory		-
	dune-pdelab_2.7~20200605-2.dsc	15-Jul-2020 12:54	2.5K
	dune-pdelab_2.6~20180302-1.dsc	13-Apr-2018 09:13	2.5K
	dune-pdelab_2.6~20180302-1.debian.tar.xz	13-Apr-2018 09:13	5.2K
	dune-pdelab_2.7~20200605-2.debian.tar.xz	15-Jul-2020 12:54	5.3K
	libdune-pdelab-dev_2.6~20180302-1+b11_armhf.deb	16-Mar-2019 00:59	315K
	libdune-pdelab-dev_2.6~20180302-1+b11_arm64.deb	16-Mar-2019 00:44	316K
	libdune-pdelab-dev_2.6~20180302-1+b11_amd64.deb	16-Mar-2019 01:14	316K
	libdune-pdelab-dev_2.6~20180302-1+b11_i386.deb	16-Mar-2019 00:18	318K
	libdune-pdelab-dev_2.7~20200605-2_armhf.deb	15-Jul-2020 17:43	339K
	libdune-pdelab-dev_2.7~20200605-2_arm64.deb	15-Jul-2020 17:43	340K
	libdune-pdelab-dev_2.7~20200605-2_amd64.deb	15-Jul-2020 17:28	340K
	libdune-pdelab-dev_2.7~20200605-2_i386.deb	15-Jul-2020 17:28	341K
	dune-pdelab_2.6~20180302.orig.tar.xz	13-Apr-2018 09:13	516K
	dune-pdelab_2.7~20200605.orig.tar.xz	10-Jun-2020 14:59	559K
	libdune-pdelab-doc_2.6~20180302-1_all.deb	13-Apr-2018 10:26	20M
	libdune-pdelab-doc_2.7~20200605-2_all.deb	15-Jul-2020 17:43	21M