[Desktop Entry] Name=CoqIDE Comment=Coq integrated developpment environment Exec=/usr/bin/coqide Icon=coq Type=Application Categories=Education;Science;Math;
[Desktop Entry] Name=CoqIDE Comment=Coq integrated developpment environment Exec=/usr/bin/coqide Icon=coq Type=Application Categories=Education;Science;Math;