Index of /debian/pool/main/d/dgedit

	Name	Last modified	Size	Description
	Parent Directory		-
	dgedit_0.10.0-1+b1_arm64.deb	2024-01-24 08:37	196K
	dgedit_0.10.0-2_arm64.deb	2025-03-25 11:32	189K
	dgedit_0.10.0-1_armhf.deb	2025-03-26 11:10	190K
	dgedit_0.10.0-2_armhf.deb	2025-03-26 11:10	181K