	File Name	Sync Status	File Size	Last Sync	Date
	{{ item.fileName }}	{{ item.syncStatus }} {{ item.syncStatus }} {{ item.syncStatus }}	{{ item.fileSize }}	{{ item.lastSync }}
	{{ item.fileName }}	{{ item.fileSize }}	{{ item.fileDate }}

/debian/pool/main/c/coq-hott/