From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id qBSoNqhcDGWwbAAA9RJhRA:P1 (envelope-from ) for ; Thu, 21 Sep 2023 17:09:29 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id qBSoNqhcDGWwbAAA9RJhRA (envelope-from ) for ; Thu, 21 Sep 2023 17:09:28 +0200 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 42FD03A002 for ; Thu, 21 Sep 2023 17:09:28 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=disroot.org header.s=mail header.b=RCyA8wrY; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=reject) header.from=disroot.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1695308968; a=rsa-sha256; cv=none; b=jjxAdRcJpruz0QQvU9V5vh84yRc5iiovzAsMQ8i92wRJsuHWSflMUFLxLcUd/SECXiwMSN k/AtIWUPFkM3ZwvHGZFfF2kO7Ea5JeR4KxLirGJg6E9y1qahTcs+RnNflYJFVLWOtF2ykn RAUkvcoedlIL+5Vpj1mKDLpEzicg5Mz97LbUGHUwUPTsx5c3fs+il+WGaLs+qH6DmfWU5L ypYSUEdJnpSYv37gw0x1s2KuCvJeiRulybOZLAF7K96XB52zpbKEkyfztj0qwTa4JhW8Js xDIDqAh0cngkgGOEh475jyXbhWdjVcsKLlyKcIeatIwQ0Z+JeAkz6qZhBLNWLg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1695308968; 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:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=oivbgaF1hXLAKbwQBvHiAGHazNUMyBlqiZKS312iPw0=; b=lkELSQ+OUfT1/VBwnw1vySNq0O4IoZOVwK6Et2dbfV7UPtgfWVS8yLuQBMPlM6CvEDwgcH 2vr/VMyWNmD8l6zDAkUqo2RMA603qVMyMyAtWmnfLQNF1hog8aeHfdDGVUPr3U+XYO4dgK 3tzaqy5mJjTBgbcxome14b5GgiiGuizjLmyHDlEo67XD0NWfNx8nFqaFTtW7Q9xz3taH4/ sG1vpfsN6PKQDmGLh50g7+7a3Izh3FC3htHMVAduSey9Qylkck9oNxJuYDK7OgpfZZ1hR/ r8brCqzbnmKR5+a0RDw1DmhvYnJIYL64VYT+/R7WzbVRLKeiYvn/1jaX+4UYVw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=disroot.org header.s=mail header.b=RCyA8wrY; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=reject) header.from=disroot.org Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qjLIZ-0001KO-Th; Thu, 21 Sep 2023 11:08:59 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qjLIX-0001Jn-Js for help-guix@gnu.org; Thu, 21 Sep 2023 11:08:57 -0400 Received: from layka.disroot.org ([178.21.23.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qjLIV-0004VK-Af for help-guix@gnu.org; Thu, 21 Sep 2023 11:08:57 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id AD0F540868 for ; Thu, 21 Sep 2023 17:08:51 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from layka.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id othERIXbhIiP for ; Thu, 21 Sep 2023 17:08:51 +0200 (CEST) From: Garek Dyszel DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1695308931; bh=pEbJVWY8Aw92HOYqTn4K7R9tmAWv7N3zNe0RPAJ4Hd0=; h=From:To:Subject:Date; b=RCyA8wrYtHKx3Gy1u0Ah+mrZoz/00/vMxlob466t1Msk6aNBMkUCSwya2aIZj6h/h /GLsL7bvzN3qyVtcI45D7q3ORzZCitV13X5zbK72JNwCEDJ3K14u5DsROPk6daNIFd eLwwJgCnypKiM+lK8UY3VoGyJQoudBpA0QloLra8tr39bzs2OfuMVQpSP3qVc66Lbc rKHZKSfO09rjitGH1tt1Gmo8NEByuFOXM/eXV8qXPKCUJhNUh4tp3BUiZc1Rw+1aQ0 NAki6JQakSOoEhmOtHpFAjrVy6TcMkM49Bl3oraZ8gQiPjcf0Nf4BTxsmUR1J3H5OX DsozqjhX6lL4Q== To: help-guix@gnu.org Subject: Ocamlfind doesn't find arbitrary library Date: Thu, 21 Sep 2023 11:08:38 -0400 Message-ID: <87jzsjh8cp.fsf@disroot.org> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=178.21.23.139; envelope-from=garekdyszel@disroot.org; helo=layka.disroot.org X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, PDS_OTHER_BAD_TLD=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -9.51 X-Spam-Score: -9.51 X-Migadu-Queue-Id: 42FD03A002 X-Migadu-Scanner: mx2.migadu.com X-TUID: 0vv7ak4aOUSd Hi Guix, While trying to get Coq to find a certain package that is part of its dependency chain, I stumbled upon the following seemingly-general problem. It seems that Ocaml packages are not in general detected by findlib. Probably I'm missing something really simple because I'm not too familiar with Ocaml, but it looks to me to be maybe a Guix-specific problem. Thanks for any and all help! Garek --- Command from which this originates: --8<---------------cut here---------------start------------->8--- $ guix shell ocaml-findlib ocaml-sha -- ocamlfind list bigarray (version: [distributed with Ocaml]) bytes (version: [distributed with OCaml 4.02 or above]) compiler-libs (version: [distributed with Ocaml]) compiler-libs.bytecomp (version: [distributed with Ocaml]) compiler-libs.common (version: [distributed with Ocaml]) compiler-libs.native-toplevel (version: [distributed with Ocaml]) compiler-libs.optcomp (version: [distributed with Ocaml]) compiler-libs.toplevel (version: [distributed with Ocaml]) dynlink (version: [distributed with Ocaml]) findlib (version: 1.9.5) findlib.dynload (version: 1.9.5) findlib.internal (version: 1.9.5) findlib.top (version: 1.9.5) ocamldoc (version: [distributed with Ocaml]) stdlib (version: [distributed with Ocaml]) str (version: [distributed with Ocaml]) threads (version: [distributed with Ocaml]) threads.none (version: [internal]) threads.posix (version: [internal]) unix (version: [distributed with Ocaml]) --8<---------------cut here---------------end--------------->8---