Index of /kali/pool/main/m/maude

	Name	Last modified	Size	Description
	Parent Directory		-
	maude_3.4-1.debian.tar.xz	2024-04-07 18:01	6.4K
	maude_3.4-1.dsc	2024-04-07 18:01	1.4K
	maude_3.4-1_amd64.deb	2024-04-07 18:32	1.1M
	maude_3.4.orig.tar.gz	2024-04-07 18:01	2.5M