EXTRA_DIST = 			\
	DEPSOLVE.txt 		\
	REPO.txt