From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.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 KIRtO0JSk2QENAAASxT56A (envelope-from ) for ; Wed, 21 Jun 2023 21:40:51 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id kAunOkJSk2SJaQAAG6o9tA (envelope-from ) for ; Wed, 21 Jun 2023 21:40:50 +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 9F8262D1BF for ; Wed, 21 Jun 2023 21:40:50 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qC3gT-0000V7-Sc; Wed, 21 Jun 2023 15:40:05 -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 1qC3gP-0000US-8w for guix-devel@gnu.org; Wed, 21 Jun 2023 15:40:02 -0400 Received: from mout02.posteo.de ([185.67.36.66]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qC3gN-0001ix-Gr for guix-devel@gnu.org; Wed, 21 Jun 2023 15:40:01 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id B507A240103 for ; Wed, 21 Jun 2023 21:39:54 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1687376394; bh=CEsICE4vR7HzW4RzfKBuIVWhvaX3fvP5EBqy6QXaS2E=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=IucbMmSZdTrjnlAjiNPAr/HALP49vmjNkFPquSwDtlh848XDSmg7xBnIuN0+3OUl7 T2npj5rq2mE7ySCDtbYGEGmc7KMb8ZTQT5Vcaj/ZNlCrF05jF1ZOPzOqzaIBnTlsnU SnFQRi7KlEeCdDNM79+vMIQ3lcZ0ToxfuQs2QW+NeEJssoHJhaPvxcTGgldhTWfCyW /EajPO4FFLNDNZdDXvZ0t5ey5+LyAlIuCk5M4TiYkeNGGiIvkSFZbl52bn31RdE3KI zM/0wvOD6UPNjfa1VH/hzy8qReEIzcJ18pbpwyNq2NSjl3jV7UuHwQAkVLlMfsvsri Wrt/6GIPH5Gzw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4QmYk16Tmsz9rxN; Wed, 21 Jun 2023 21:39:53 +0200 (CEST) References: <86bkhgc7jj.fsf@posteo.net> From: pukkamustard To: DABY-SEESARAM Arnaud Cc: guix-devel , Julien Lepiller Subject: Re: Ideas for ocaml-team Date: Wed, 21 Jun 2023 19:37:00 +0000 In-reply-to: Message-ID: <86o7l8r4dy.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1687376450; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=oqUJkhgtRhlc3X3cRzzQLutiAUZGnpj/oqwr6vyAQaE=; b=HsWeaDLZGGvJuApfwpK689VeZf+/If3vp8WAiDdQqkjimiCnswfnQQQgXBVFO80+K/fMnS KXfyfYb+9QMyQihYAcbG6sGbhiDNPYV4LKbEM4LNCz94u/mnevd9wCr54O3IrlPGkBgOD9 xwCcuNTYdTy8J7NIM1ZgKIAJcKr1ootR4xXsAACg9DYYhv9bRAhHv9NI4x/DJqe+jUrXdF gxOq0qc5dpqxo8qlwd6Zr7O3+/v5QYUaLzC2GTVgcxF72F+MqrYZ3byeF/3lShd9pRYn9m oiokQ3l7k6+4pq7aDNu/9KqFrqk7Ia/ko29L7axSxaDP6Zkc8QHi70JN3diIbQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=IucbMmSZ; dmarc=pass (policy=none) header.from=posteo.net; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1687376450; a=rsa-sha256; cv=none; b=PZve49p21fH+01H7w9hgQ2k+L0X36zRh4S04Pcct28ajCv/IIcVlvLDw5wi9cTtTEy8cBJ MLHLopcNrN8PUShvdn3zQLsjuTEJH7mFdH4PiUtdUs20Uxec1ThdMicly9sjrppYgv69T1 QI09rbWnHrDVrrE0K6eClgQL7X/pQkn0MV98HfSYyYohMYQSg9cO6JVbzaNw2Gv58PYI2J 1AN8ZwVefGHHvgHa3l7tguaey6FnRuLMVaUJ5REhtQrcB3xTvBcF8ZXiEgzmSE245IIDvR YL+DRUGmlmX0kfGzS95uzOzycm0wx6rrDpK6kb/P/WHVn+oY4ZrGrWcK5gtHAQ== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -5.22 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=IucbMmSZ; dmarc=pass (policy=none) header.from=posteo.net; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 9F8262D1BF X-Spam-Score: -5.22 X-TUID: uj4x18tIYojl DABY-SEESARAM Arnaud writes: > [[PGP Signed Part:Undecided]] > Hi, > > Do you plan on including coq.scm in the upgrade plan, as it also depends > on dune? I hadn't thought of the Coq packages, but probably makes sense to update them together as they will be rebuilt with updates to the OCaml compiler and Dune. Do you have an overview of what Coq packages need an update? > Anyway, I am new to Guix, but will try to help if I can (time- and > competence-wise) ! :) Yeah, very nice! :) -pukkamustard