From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id qENSCN5XjWGPJgEAgWs5BA (envelope-from ) for ; Thu, 11 Nov 2021 18:50:22 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 8BrdA95XjWGWGAAAbx9fmQ (envelope-from ) for ; Thu, 11 Nov 2021 17:50:22 +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 3C356EE62 for ; Thu, 11 Nov 2021 18:50:21 +0100 (CET) Received: from localhost ([::1]:52720 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mlEDL-0003as-TP for larch@yhetil.org; Thu, 11 Nov 2021 12:50:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:51902) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mlED4-0003ah-B5 for guix-patches@gnu.org; Thu, 11 Nov 2021 12:50:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:58874) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mlED4-0001xo-3D for guix-patches@gnu.org; Thu, 11 Nov 2021 12:50:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mlED4-0005If-02 for guix-patches@gnu.org; Thu, 11 Nov 2021 12:50:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#51351] [PATCH] gnu: pplacer: Fix build. References: <20211023163008.017145c3@tachikoma.lepiller.eu> In-Reply-To: <20211023163008.017145c3@tachikoma.lepiller.eu> Resent-From: Ricardo Wurmus Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 11 Nov 2021 17:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 51351 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 51351@debbugs.gnu.org Cc: Julien Lepiller Received: via spool by 51351-submit@debbugs.gnu.org id=B51351.163665298720344 (code B ref 51351); Thu, 11 Nov 2021 17:50:01 +0000 Received: (at 51351) by debbugs.gnu.org; 11 Nov 2021 17:49:47 +0000 Received: from localhost ([127.0.0.1]:42187 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mlECp-0005I4-0W for submit@debbugs.gnu.org; Thu, 11 Nov 2021 12:49:47 -0500 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21156) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mlECm-0005Hv-P2 for 51351@debbugs.gnu.org; Thu, 11 Nov 2021 12:49:45 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1636652981; cv=none; d=zohomail.com; s=zohoarc; b=eu8ZftsI5KXXp/Og1H3ymA5xjLhNxuQhEg1Aj8NdpEUOzKW/fQvWM7t7DkBuD2U0KZeMavth1Jnf/WRWaZWDSaQbAguyQBQxu7b47W7UybZQgsF80S9H43PLuBWUCYF2sfryG5dt75JG77OOhf1gUPqADxQr0/N8cNsoqT0geNY= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1636652981; h=Content-Type:Cc:Date:From:MIME-Version:Message-ID:Subject:To; bh=GXtyZRE94zbA9/STgKpN5SpUgknxMFQdvo/PmSGJbc0=; b=cFIdnzj2A1yKIk87QJ0RKNPFjDlxerkc2cQynBFvghMslrOK1Duvjq10ITSVuPbBbYmk1CuquVj+pV0YNX7oS8ZDK9N+etrOlYi6pvnAzplz36Rg76NKjlQq96/70krmTRKPd+jD8WxwmNMmlz1qxy8bNC4wdMAnrd5xhRVFh6g= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1636652981; s=zoho; d=elephly.net; i=rekado@elephly.net; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type; bh=GXtyZRE94zbA9/STgKpN5SpUgknxMFQdvo/PmSGJbc0=; b=gIyKcI7T3HwaOk8Ixh1NHuckrEQacMtLBQEuJa8To8lFVZ910Nugj+c8T9byuRag LoJM/Q28JZS7DQVw6SpeBWrvdwQvnNN8WHSTRlcC2TzT9Bv66z1YnW9bVR/ucyxA1rf 021rX7TTxyc/K9Um4Lr3olFd7RNQfV8K0/fJpA+Y= Received: from localhost (p54ad4f29.dip0.t-ipconnect.de [84.173.79.41]) by mx.zohomail.com with SMTPS id 1636652978657535.3838978284779; Thu, 11 Nov 2021 09:49:38 -0800 (PST) User-agent: mu4e 1.6.6; emacs 27.2 From: Ricardo Wurmus Date: Thu, 11 Nov 2021 17:47:37 +0000 X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Message-ID: <87o86q37m8.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-ZohoMailClient: External X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1636653021; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=GXtyZRE94zbA9/STgKpN5SpUgknxMFQdvo/PmSGJbc0=; b=e1s1PIRnSBZ15PSMne/Av24Nro60PYWK1wDjujE1QgKjPJQYTohMNC/n8VixGXk82iz2ik c5cK7h9d5vfFug4K/zwznBVo8sIP0MIjMPGaiGonY0jKzrULSrXux+qoQu5HVwtL5/78Ht xErxpZTi7p6/7bYOupEykHLIDjiiAu3mW3v6xbPCyorohbKy+KIwJS430zbasOog2tu/4t ttlWeHAcViH4MrT40JwW/MQ78kuP8Yc6jVyz9hsgNdHjK6LDXGXogv7YCr65jyaQ2YgLtA o6Y1qsw/nCEem500lvfvjwRrwIC7J7p0VnvdLmo7btRyzazvTxFP0Ei9GnFzGg== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1636653021; a=rsa-sha256; cv=fail; b=sfgx/XUShgEU4/1Wo4QKJhWGlSFMKlxyAop30iSqnb+fHNXPmNsi5TmZ2auRZkGxVNYndd rhEOPl7Q6+N9wtHN44xmca0yPaqn4dbGgwM7imXPfnHtbtChnC0vhTsMNW/td2CYFsM+la lpgcktc4d1lU6SgQk/1E3AsgSfkdIQ93c+UhNSF8i+Q9PL/x+l1xD+IpHszAVJgDqqdIuG nIe5WTen4LAwlb6LTxxlOt/FyRbUa7o7T5etboli3KrqPQn0uBnoV3E6e4yf/HZeZS5ZMt MRv/8aHtPKzy3nHN0Ctv2RWCnHvwzobdIaeClaXQ8G26vXRmN7zruHhjgSIz9Q== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=gIyKcI7T; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: 0.17 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=gIyKcI7T; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 3C356EE62 X-Spam-Score: 0.17 X-Migadu-Scanner: scn1.migadu.com X-TUID: I32wrDZ9Nayt Hi Julien, thank you for the patches. These look good to me. Unfortunately, there seems to be no newer version of pplacer that would work with more recent versions of ocaml. -- Ricardo