Tree - rpms/coq - src.fedoraproject.org

Blob History Raw

		70caa8f	`[Desktop Entry]`
		70caa8f	`Name=CoqIDE`
		70caa8f	`Comment=Examine and develop Coq .v files`
		70caa8f	`Exec=coqide`
		5e95fd9	`Icon=coq`
		70caa8f	`Type=Application`
		09b853b	`Categories=Development;`
		dd74bac	`MimeType=application/x-coq;`