File org.rocq-prover.rocqide.desktop of Package coq

[Desktop Entry]
Encoding=UTF-8
Type=Application
Name=Coq/Rocq IDE
GenericName=Proof Assistant
Comment=Proof Assistant based on the Calculus of Inductive Constructions
Categories=Science;Math;
MimeType=text/x-coqsrc;
Exec=rocqide %F
Icon=rocq