Index of /pool/main/d/direvent

	Name	Last modified	Size
	Parent Directory		-
	direvent_5.1-1.debian.tar.xz	2016-10-07 16:59	17K
	direvent_5.1-1.dsc	2016-10-07 16:59	1.8K
	direvent_5.1-1_armhf.deb	2016-10-13 18:08	127K
	direvent_5.1.orig.tar.gz	2016-10-07 16:59	826K
	direvent_5.2-1.debian.tar.xz	2020-02-16 20:12	6.1K
	direvent_5.2-1.dsc	2020-02-16 20:12	2.0K
	direvent_5.2-1_armhf.deb	2020-04-18 06:08	135K
	direvent_5.2.orig.tar.gz	2020-02-16 20:12	921K
	direvent_5.2.orig.tar.gz.asc	2020-02-16 20:12	220