Hi Yasu, This is not a bug: coqide brings a lot of dependencies, so it's in a separate output, as you can see with guix search or guix show. To install it, install the ide output, like so:
guix install coq:ide Le 20 mars 2021 02:11:30 GMT-04:00, yasu <[email protected]> a écrit : > >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
