Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/p/papi

	Name	Last modified	Size	Description
	Parent Directory		-
	libpapi-dev_5.3.0-3_armhf.deb	2014-02-04 19:28	204K
	libpapi5.3_5.3.0-3_armhf.deb	2014-02-04 19:28	228K
	papi-dbg_5.3.0-3_armhf.deb	2014-02-04 19:28	491K
	papi-examples_5.3.0-3_all.deb	2014-02-04 19:28	104K
	papi-tools_5.3.0-3_armhf.deb	2014-02-04 19:28	54K
	papi_5.3.0-3.debian.tar.xz	2014-02-04 15:29	11K
	papi_5.3.0-3.dsc	2014-02-04 15:29	2.1K
	papi_5.3.0.orig.tar.gz	2014-02-04 15:29	3.7M