Hello,
After installing COQ using: guix install coq I was perplexed that I could not find the coqide program. Howerver, GUIX does seem to build it: ~$ guix build coq /gnu/store/zns66i9iacpkya3mabvygykir5xwl5c4-coq-8.11.2-ide /gnu/store/n8g37cv0028wds959rjgpl5dsj3p3xl0-coq-8.11.2 ~$ ls /gnu/store/zns66i9iacpkya3mabvygykir5xwl5c4-coq-8.11.2-ide/bin coqide The fact that this coqide is not brought to user profile - is this a bug? 😅 -Yasu
