From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id eC3lGlega2SHtQAASxT56A (envelope-from ) for ; Mon, 22 May 2023 19:03:19 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eL64Glega2Q9TgEAauVa8A (envelope-from ) for ; Mon, 22 May 2023 19:03:19 +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 2C56C2FE98 for ; Mon, 22 May 2023 19:03:19 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q18wF-0002Te-SU; Mon, 22 May 2023 13:03:15 -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 1q18w3-0002Lp-9q for guix-patches@gnu.org; Mon, 22 May 2023 13:03:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q18w3-0004Tl-1D for guix-patches@gnu.org; Mon, 22 May 2023 13:03:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q18w2-0001mq-TB for guix-patches@gnu.org; Mon, 22 May 2023 13:03:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#63609] [PATCH 1/4] gnu: Add ocaml-parmap. Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 May 2023 17:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63609 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 63609@debbugs.gnu.org Cc: Jean-Pierre De Jesus DIAZ X-Debbugs-Original-To: Jean-Pierre De Jesus DIAZ via Guix-patches via , 63609@debbugs.gnu.org Received: via spool by 63609-submit@debbugs.gnu.org id=B63609.16847749486806 (code B ref 63609); Mon, 22 May 2023 17:03:02 +0000 Received: (at 63609) by debbugs.gnu.org; 22 May 2023 17:02:28 +0000 Received: from localhost ([127.0.0.1]:36144 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q18vU-0001lc-4T for submit@debbugs.gnu.org; Mon, 22 May 2023 13:02:28 -0400 Received: from mail-wr1-f42.google.com ([209.85.221.42]:40206) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q18vO-0001kv-SV for 63609@debbugs.gnu.org; Mon, 22 May 2023 13:02:24 -0400 Received: by mail-wr1-f42.google.com with SMTP id ffacd0b85a97d-309d3eb37aeso421443f8f.1 for <63609@debbugs.gnu.org>; Mon, 22 May 2023 10:02:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1684774937; x=1687366937; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=dW4CIIeL9i4LWiCAGs9IiY7rWAkvKoQVNYqiD9VWoEI=; b=PunMuqnhxMsgGFtjlQkPyYSFyuyrk6jOCKhCP/ZVLygm0A+4odas5yIYhfqLyymd0c TuDzTNroKOEFCsQL0mxMrzLyTWul26JftUlG/ZwKxX8WLX886J9YE8wI05xp4zCXUJTi Bl98jM4Vu/7EbdN0MOJA/whIr4ACXeYrs6qGCcbKUFdiWauYjob+pAUhQYKQD3UrSSki bauKpVobaOVzGh4Opk+k123Fg1Q6K0uD6ljb1KPRogX2/+fV01DGBgKiYOwOhA0T8Pcq 8hQrin8e+CMzPC/AVe6VOAkQgBpIJAigyeoyk6N2l184fkgPR/OoVcEy1kciiBMP+Buw A8Tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684774937; x=1687366937; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=dW4CIIeL9i4LWiCAGs9IiY7rWAkvKoQVNYqiD9VWoEI=; b=fRm3KOx9pACxbTd79QrOHeBDc+im2PJM7JWqEuQbDYJIyqEOzhsora+RI9iJA4C32f aATmyvFcCLq1//JL1WmPA1lUYseWGdzyjvrlamWX/bkd+YApoCvhzaac5ZxRh/Eh+WSq vlGMNkXHPJt637PSBgho8T4QRf692jaM4+QEl9zDSn0reWsA/EgyYHXNrGhjJ9fREmjG 0W2XmWPM0yo9UJ1uacPw/UVYwbCgMCII62/Lt84viod8xkG2D2JjmB6OcVlvdRJRuoMr WaP/XwH/qMRk2kut31CrCyL9vXWlgB51tUubE8cmVyC0G1jlg4ukvc6p1B3Nr+quxoTC /sFA== X-Gm-Message-State: AC+VfDwPv2hKpbMNO864cc+pt1kQOQm/w4EQq16Y6GXQ1rnlUwJ11QAh xZquqFEKUQ7GCFGo/b/dzDk= X-Google-Smtp-Source: ACHHUZ5eOYkkyXCo5pEuYiVCgjjqK1BkRsh3/ahVPwRZO3ztytavcfscwDU3BAO0GaQjAhbHeeaLuw== X-Received: by 2002:adf:dcca:0:b0:309:4a41:9eb5 with SMTP id x10-20020adfdcca000000b003094a419eb5mr6803631wrm.5.1684774937001; Mon, 22 May 2023 10:02:17 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id l6-20020adfe9c6000000b0030631f199f9sm8247698wrn.34.2023.05.22.10.02.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 May 2023 10:02:16 -0700 (PDT) From: Simon Tournier In-Reply-To: <20230521113417.76939-1-jean@foundationdevices.com> References: <20230520124838.35588-1-jean@foundationdevices.com> <20230521113417.76939-1-jean@foundationdevices.com> Date: Mon, 22 May 2023 19:00:39 +0200 Message-ID: <87a5xwxpvs.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1684774999; a=rsa-sha256; cv=none; b=IVKLTaTzc2DChRLIF5KR8mYoBjb6luNfA+CNuow9Bm25OK+sSWJ8Zsjcxfy/sxcqphjk5y FuPIln0OSnFc32OKtio0FmATKDeNgTHZXUA98XpET1VAM03MbFlTkO+1fkOEmsXrBVDr9L oSH96An/VVNhzzZrQ+XaMxdhG1u9b4oLDq9w2/Z+4G/APQfiWD0Cx1JjLMQJy/gQSIJzgN Qy4KHnHv9+IBE9Ir+SI5jHbbveWWDypv7+LGXhTVXKALd6Cxu69uEBaNnJXyx8nMnxg8rd 5tTmoOGGV+lDrE2N5u4DINMDmt9Pv4iB2AaBnvrbXur+tlQ6EZG0VvhmI+MGTQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=PunMuqnh; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1684774999; 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: content-transfer-encoding:content-transfer-encoding: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=dW4CIIeL9i4LWiCAGs9IiY7rWAkvKoQVNYqiD9VWoEI=; b=tLI0WDFJk3szZcopRUOqJGCjtHPqEkAxaU+03mDavX+CF4qrS7zngm8ERBzjcNCWOyJ8M6 GpNZ+IhZMzCMgsQAOEP8emtZVucZnwIR8zXv1crjo/7arzhG/lF4xR8TOvi3SNSbgwVksk 9cvtD9bMo6tTUy2D/MukHTn3y9k9PGhcyhjqGns1TzSLMmBzu1YipCdL1+qmTpNji7BDqW c1gUn3mwMIB3atdTsIJSgaT8RJFqWUgyd2l4Y30aJfYA4GdsgJbA8eVowAC97qf8BT3imK dU+TpMnzJ24tp03jazsfdsy2IJsRFD5yP/Uh5Ukvmii2SlzQgz9UsP8YH7i7zQ== X-Migadu-Spam-Score: -1.31 X-Spam-Score: -1.31 X-Migadu-Queue-Id: 2C56C2FE98 X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=PunMuqnh; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-TUID: dZqv4vXBJF71 Hi, Thanks for your patch. On dim., 21 mai 2023 at 13:34, Jean-Pierre De Jesus DIAZ via Guix-patches v= ia wrote: > +;;; Copyright =C2=A9 2023 Foundation Devices, Inc. Just to be sure, the copyright is hold by that company named Foundation Devices, Inc. and not by one person. Right? Cheers, simon