edfae7dd86
* Fixed incorrect paths emitted by coqdep in some cases for META
files which prevented dune builds for plugins from working
correctly.
* Fixed shadowing of record fields in extraction to OCaml.
* Fixed an impossible-to-turn-off debug message "backtracking and
redoing byextend on ...".
* Fixed a major memory regression affecting MathComp 2.
- Classify desktop entry under Science instead of Education.
- Add screenshot URL to AppStream metadata.
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=50
11 lines
235 B
Desktop File
11 lines
235 B
Desktop File
[Desktop Entry]
|
|
Encoding=UTF-8
|
|
Type=Application
|
|
Name=Coq IDE
|
|
GenericName=Proof Assistant
|
|
Comment=Proof Assistant based on the Calculus of Inductive Constructions
|
|
Categories=Science;Math;
|
|
MimeType=text/x-coqsrc;
|
|
Exec=coqide %F
|
|
Icon=coq
|