Naïm Favier b2391a51d2 coq: add desktop file for coqide		2021-09-23 14:39:50 +02:00
..
default.nix	coq: add desktop file for coqide	2021-09-23 14:39:50 +02:00