Index of /debian-archive/pool/main/d/divine

	Name	Last modified	Size	Description
	Parent Directory		-
	divine_0.8.orig.tar.gz	2004-01-25 09:32	16K
	divine_0.8-4_powerpc.deb	2006-09-29 20:32	18K
	divine_0.8-4_ia64.deb	2006-09-29 16:47	19K
	divine_0.8-4_i386.deb	2006-09-29 20:17	16K
	divine_0.8-4_arm.deb	2006-09-29 14:17	17K
	divine_0.8-4_amd64.deb	2006-09-29 12:32	17K
	divine_0.8-4.dsc	2006-09-29 12:32	581
	divine_0.8-4.diff.gz	2006-09-29 12:32	4.3K
	divine_0.7.2.orig.tar.gz	2000-04-12 20:54	16K
	divine_0.7.2-5_powerpc.deb	2001-04-03 19:46	16K
	divine_0.7.2-5_ia64.deb	2001-07-22 20:48	20K
	divine_0.7.2-5_i386.deb	2001-03-31 20:12	16K
	divine_0.7.2-5_arm.deb	2001-04-13 22:12	16K
	divine_0.7.2-5.dsc	2001-03-31 20:12	641
	divine_0.7.2-5.diff.gz	2001-03-31 20:12	2.6K