From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id SCvsJyqSVWBEOAAA0tVLHw (envelope-from ) for ; Sat, 20 Mar 2021 06:11:54 +0000 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id GCydIyqSVWAKTwAAbx9fmQ (envelope-from ) for ; Sat, 20 Mar 2021 06:11:54 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id CC54A152BF for ; Sat, 20 Mar 2021 07:11:53 +0100 (CET) Received: from localhost ([::1]:52858 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lNUpz-0002T2-Gh for larch@yhetil.org; Sat, 20 Mar 2021 02:11:51 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35200) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lNUpn-0002Sr-AO for help-guix@gnu.org; Sat, 20 Mar 2021 02:11:39 -0400 Received: from mail1.g12.pair.com ([66.39.4.99]:43055) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lNUpk-0001Wq-DA for help-guix@gnu.org; Sat, 20 Mar 2021 02:11:39 -0400 Received: from mail1.g12.pair.com (localhost [127.0.0.1]) by mail1.g12.pair.com (Postfix) with ESMTP id 153AA73048 for ; Sat, 20 Mar 2021 02:11:34 -0400 (EDT) Received: from guix.local (w135107.ppp.asahi-net.or.jp [121.1.135.107]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail1.g12.pair.com (Postfix) with ESMTPSA id 57D0C7307F for ; Sat, 20 Mar 2021 02:11:33 -0400 (EDT) Message-ID: <751596538845b1dc9ec134d0148301f964b44246.camel@yasuaki.com> Subject: Bug? coqide missing? (in package coq, version 8.11.2) From: yasu To: Help Guix Date: Sat, 20 Mar 2021 15:11:30 +0900 Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: none client-ip=66.39.4.99; envelope-from=yasu@yasuaki.com; helo=mail1.g12.pair.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616220714; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post; bh=T1/xxmdzIqcA6p2kfycKwzIMOKPDdBvKgXMlBDlZjQY=; b=Zdk12ZnwMRWNhU5uuJDQh8tA9Pc0mCQeksUkjy7QMl3YXfOaR0OaTd42saFE3gNixNicsW yDy0tL8JK/lcXAMoWbfT4RZ2jB/ZTTGFpmoxYJpNh5xNIB2ZueDUJb7g+2WfhSreX04A9g xlQr39xTN96GGSqg0Y5WcGwzpuBnNZ80vSlf/BMuTUcj6bDBjnd0n9zY6wOAw7u7FaoJGK GWqmmm38h+ed7dHxlvJrUYuvDE1n9UNzlmVnURps7vjL9mEYkRTYSwqBekUQYr1tINjs3i wNb2/VpQwG4Un1FnThw+bjhg5pwkEMkMhZA2E5/JI4gGTcOQVXZ3yBO1tgFlqg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616220714; a=rsa-sha256; cv=none; b=BvpIE8sDEonRPiNgqVChSlFk29qlzN1mloCjB5jexIaTj/YJB7NEX7wC4sddgWSauM2bpi ugBfizLOHGMhXbKji0b7u03Yx39MIeIyeBo5CRVaVYav//i+jYzPySV7d72gH90PA/RVYB LnAMJLzMzNL7/rPcugw3E5zr36UdvU4SGvF9IKhSf5MgykXLnQMp0IUbdfbeXOOkn72/bU pbvEiP4ZD83TswyFHXomDhO5xrYOzokw132/fVW9MtBBaS1ulafN/QH7rWCIaDLqMjqtwq YxPpptNB3KsCvukUXdWym/598P5eeeJBWb9Pqng7zwCzdxEEoDs2LX/qWxX4QQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Spam-Score: -2.41 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Queue-Id: CC54A152BF X-Spam-Score: -2.41 X-Migadu-Scanner: scn0.migadu.com X-TUID: j9tHAmLcu6XG 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