[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Bug? coqide missing? (in package coq, version 8.11.2)
|
From: |
yasu |
|
Subject: |
Bug? coqide missing? (in package coq, version 8.11.2) |
|
Date: |
Sat, 20 Mar 2021 15:11:30 +0900 |
|
User-agent: |
Evolution 3.34.2 |
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
- Bug? coqide missing? (in package coq, version 8.11.2),
yasu <=
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), yasu, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/21