Index of /debian-ports/pool-x32/main/d/direvent

	Name	Last modified	Size	Description
	Parent Directory		-
	direvent_5.4-0.1_x32.buildinfo	2026-04-01 12:03	6.0K
	direvent_5.4-0.1_x32.deb	2026-04-01 12:03	181K
	direvent-dbgsym_5.4-0.1_x32.deb	2026-04-01 12:03	232K