Sign in
android
/
platform
/
external
/
gentoo
/
overlays
/
gentoo
/
a1effdbe93843e44eb414b77a86d63612a1a8bbb
/
.
/
sci-mathematics
/
coq
/
files
/
coqide.desktop
blob: cc8bb54e1ad1f09283a04833891c93ea5a67d540 [
file
] [
log
] [
blame
]
[
Desktop
Entry
]
Comment
=
Coq
integrated developpment environment
Icon
=
/usr/
lib
/
coq
/
ide
/
coq
.
png
Exec
=
/usr/
bin
/
coqide
Name
=
CoqIDE
GenericName
=
Coq
IDE
Terminal
=
false
Type
=
Application
Categories
=
Science
;
Math
;