From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id iEGwEmj/l2SEbwAASxT56A (envelope-from ) for ; Sun, 25 Jun 2023 10:48:40 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id oDxIEmj/l2R2TQEAauVa8A (envelope-from ) for ; Sun, 25 Jun 2023 10:48:40 +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 3F23F4285C for ; Sun, 25 Jun 2023 10:48:39 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qDLQB-00011f-Uq; Sun, 25 Jun 2023 04:48:35 -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 1qCfHL-00068B-Mg for guix-devel@gnu.org; Fri, 23 Jun 2023 07:48:40 -0400 Received: from nanein.fr ([185.230.78.41]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qCfHI-00021B-TZ for guix-devel@gnu.org; Fri, 23 Jun 2023 07:48:39 -0400 Received: from Arnaud (wifi-eduroam-84-109.paris.inria.fr [128.93.84.109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 1F16D141045; Fri, 23 Jun 2023 13:48:26 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1687520906; bh=6J53l5qEG/sgpILx+nDrgEGDDY4UGukKNPO2TH06UkU=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=j6/NX/JpC5fMhd+PlsbbUcszTHPob3pphamC65XJPbKJCLUUq+/kddwOxVgKs7yaN xgXRZPwIwD1KPWJobySBEapGoQvOifUro6jMsr7dIf+YK8FccbKEnxSIERrA46lfuq YeZgLZL1SBTTppW2B1CiZQxc8k6xWelgQ2ZVXsh0WwIV/u5dgbcuY5hbfCnd94kniX wp10zwlO4wA6NwPOUpBBYyY4OiuLb28cUSEARqR+1ph1v5JPqqEFpG1zYQlFZnVbXP WyjbvWDMJXlAIziELNzwB+7yhhyo297JqpPjniSUYbXaEArlryUunqaaiHSU8S+hSN v+nSkjexannaxD2iZAbS2lFEIyLy2eSmSlode+OS3Ox409c7alxGMUvrv8pN3uFHRd 7S/UAuyazFbJiHiRkORphuZ2dCIVjJqQyACgEzWjY+FEZIt1A2PJ+LYgl1yDizRiOm 9MEhXDhpY1NjV7oughajh4wsqbwHx7omhzVzcXQmma3gm9JTToBqdLHPBVMPwBIglc NUfdqrKc3dc8GBN/tmjqX4ByozF7k38rfKqIKAugDGzS/WIsnbTgsJwQ+Mu1UCjP1G cHQijfh3fhCGlpXxuAJMC3Riq8VZo+WBSPqN0IkKchd0DKVqRZ5V2aUe1Bx2gusbTv X3DG95IgDNmUyZ9C27Rl38L0= Date: Fri, 23 Jun 2023 13:48:29 +0200 From: DABY-SEESARAM Arnaud To: pukkamustard Cc: guix-devel , Julien Lepiller Subject: Re: Ideas for ocaml-team Message-ID: References: <86bkhgc7jj.fsf@posteo.net> <86o7l8r4dy.fsf@posteo.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="UJOeYmlhCM2vX3nW" Content-Disposition: inline In-Reply-To: <86o7l8r4dy.fsf@posteo.net> Received-SPF: pass client-ip=185.230.78.41; envelope-from=ds-ac@nanein.fr; helo=nanein.fr 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, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Sun, 25 Jun 2023 04:48:31 -0400 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-Seal: i=1; s=key1; d=yhetil.org; t=1687682919; a=rsa-sha256; cv=none; b=EfEA290sjxCWpUOvyINOA+NS7rugeRRvO5NdV7LL6aSZoCuOCURNp99mn3bqbnXLDxaYsl TUkVXYNa803DmL02zvaFONZ3VSdYC7AwhRYHFON4K/0VTtyIMAv9L7skhbujMAifcxyM4r iAwoG9PDp1SFI2jgHxJkn+hzYBGGoBeoSLKylL2A0Nd2PHV0jW+bdyThQz9/l93B1bCkeZ kUw0axlUry6tArXSATLaZAaSRJSVE9pCdrp1ip7sbOHfRZkJcKaEcVdfNAZbRXc2VFH1bS naBVzbOZF03H6oGfTsAeVZFZ9JWwMvIB7NxiHMYT+JJ+oq6yuk5MMtm6ibS8hQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=nanein.fr header.s=mail header.b="j6/NX/Jp"; dmarc=pass (policy=reject) header.from=nanein.fr; 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-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1687682919; 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=tsrIALSMpifBVy4dWN36Z85EOJj5dh41vmVEQwRayvw=; b=Jgnbnbac/7gqVat3oORSNwx2wPYglRB1dwrLHBw4GptoRnRGhwuQh4AUg5xnEoNtV952zC qyQLhfArcqm4n3VVMtPJlrcA69RzjA/sGM/R3Hdtio+oIVNfUxPa5amzXVexjzvtgPWcH9 QGEb3RQnq8jJiyCX5h9vQJ4SPshq1jpEuNhazcZlD01sKsijVywwUKTqmiC3wqjwnC8QUg TMpYL/NgN8mitL+YVijGHD1Cij4YTyl6ow8fBDqjlxRsfCrj6BujT3SR9vG/w3wffBbdlo 1VZZOPcbMqpyVaH/QGl/AfdYgIzgxMNYwnZkw0Zuu56/Ic3wTXcYyNhVQkbk4Q== Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=nanein.fr header.s=mail header.b="j6/NX/Jp"; dmarc=pass (policy=reject) header.from=nanein.fr; 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-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -4.95 X-Spam-Score: -4.95 X-Migadu-Queue-Id: 3F23F4285C X-TUID: HjsAY2GfP1M2 --UJOeYmlhCM2vX3nW Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable > I hadn't thought of the Coq packages, but probably makes sense to=20 > update them together as they will be rebuilt with updates to the OCaml=20 > compiler and Dune. Yes. > Do you have an overview of what Coq packages need an update? No, I don't. But there are only a few Coq packages, so I wouldn't mind=20 checking every upstream repository. That said, Coq itself can be=20 upgraded. --=20 ds-ac Le Wed, Jun 21, 2023 at 07:37:00PM +0000, pukkamustard a =E9crit >=20 > DABY-SEESARAM Arnaud writes: >=20 > > [[PGP Signed Part:Undecided]] > > Hi, > > > > Do you plan on including coq.scm in the upgrade plan, as it also depend= s=20 > > on dune? >=20 > 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. >=20 > Do you have an overview of what Coq packages need an update? >=20 > > Anyway, I am new to Guix, but will try to help if I can (time- and=20 > > competence-wise) ! :) >=20 > Yeah, very nice! :)=20 >=20 > -pukkamustard --UJOeYmlhCM2vX3nW Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEMgqfJ4U0fby1t860ojLKXoMTiAwFAmSVhowACgkQojLKXoMT iAx5/xAAkTLr5Qbe+vjft5LFTI3sJ6bD+aqqcrEe0JLvGlO/uTXVg9BVMEbnAGdl AM0mwEDpvJlDXuHaluMYVaYN6cw8gKWQTn98d2VpJ+MGH5+coO0OaB7+oeqqcEbx lpHU8cZu7UlSphGIcEuH04aQ7EUe2OXmToVHBUTCyYOuX1MLVRA5xaV8KPcNn/Vd yiepGaimDK1K6MfY0GF+PGckUC2G5CsVFPvS4meWutgaHGC18+NfEYNJI7kuV9vE E7T5gjRdZM8+kX9CDbwG+1jHCFfhnDOVNVa/HORpXpJFMwR4Sb8GpYz1LohGC0ay TUDSIZL5+O0Ml7borfhVKseo6y9Y8xsya+PqvguFYqM+tIgxjWkEa0/PQ1BYE+ai FQ3UzAMgJHLGJ5ITquuQ7BgHAWtmDMt4AR67ndluQHtF7Rg2azKLR8X0Z5xbWT0C 6EXPsYkNtKP2Ow8WgxyVVs/T4iFvOpCOI1ynXehdyzz7RnTIbkPYn1F0isheFVCg Jpc6Kd3wUA/xi62eJf9uZaU69uP39BUB96pVVpl/EYlkhbVgoJ4BZFveVS1Wxc+b KKFHsO6TpPac1HOQZz7MtfUWpZIzW2AZDnobEdioxAOt5xzlOkbBNaoTFf3auOsv f0CTezek/dvE6Y2V0S2Z6Ktuc9PmZpg1UMRhdyt3e2QxsKbuzK4= =dQfL -----END PGP SIGNATURE----- --UJOeYmlhCM2vX3nW--