unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
* Bug? coqide missing? (in package coq, version 8.11.2)
@ 2021-03-20  6:11 yasu
  2021-03-20 10:48 ` Julien Lepiller
  0 siblings, 1 reply; 8+ messages in thread
From: yasu @ 2021-03-20  6:11 UTC (permalink / raw)
  To: Help Guix


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



^ permalink raw reply	[flat|nested] 8+ messages in thread

end of thread, other threads:[~2021-03-21 12:15 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-20  6:11 Bug? coqide missing? (in package coq, version 8.11.2) yasu
2021-03-20 10:48 ` Julien Lepiller
2021-03-20 12:26   ` yasu
2021-03-20 16:39   ` zimoun
2021-03-20 23:53     ` Julien Lepiller
2021-03-21  0:34       ` zimoun
2021-03-21  2:04         ` Julien Lepiller
2021-03-21 12:06           ` zimoun

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).