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 xw8FAGHko2AFbwAAgWs5BA (envelope-from ) for ; Tue, 18 May 2021 17:59:29 +0200 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 KFOoNmDko2A1DgAAbx9fmQ (envelope-from ) for ; Tue, 18 May 2021 15:59:28 +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 6E4D115B51 for ; Tue, 18 May 2021 17:59:28 +0200 (CEST) Received: from localhost ([::1]:56064 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lj27z-0004Ye-K8 for larch@yhetil.org; Tue, 18 May 2021 11:59:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47898) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lit6n-0005r1-Sq for guix-devel@gnu.org; Tue, 18 May 2021 02:21:37 -0400 Received: from mout01.posteo.de ([185.67.36.65]:43085) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lit6j-00028a-Kv for guix-devel@gnu.org; Tue, 18 May 2021 02:21:37 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 6F0D0240027 for ; Tue, 18 May 2021 08:21:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1621318891; bh=jQL8I9yQE4lHUrf18YV10hzh4YEWU4eIAWcKxBFCTrY=; h=Date:From:To:Subject:From; b=N6xFgb8MjCUt98uhmYUd5M0O+cS6eViej2Ij57rCcBEYeXF/uOpqqnKAJXUeMeOEm IxpvqP6hpDdvVnikuFJPb4mKs9MNhgvhqINuQ7+qevC14rZva8kEHQlx/iuHAH4peB 0AAkPnHAhvUcKVMWlbU539sdQGL7sz17yGNGEFZLoLHF3FGhHjjNPxllJ8Y/gBQL/g PBHsg6qccgk642ZfucijeSRYk3jvnwN7MPSToQh0/rKeYAM31cjbnf1amDkh8dRMb3 MCUFdRavbGZ1/JMenEZqpFPLMsK+jzd7RLlKW0va69WOmBzdAMYt1fQAPYSHNVlxbR DERjG23fNJ85g== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4Fkm9R0v05z6tm9 for ; Tue, 18 May 2021 08:21:31 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 18 May 2021 06:21:30 +0000 From: Erik To: guix-devel@gnu.org Subject: ocaml - how can we get more recent version of core-kernel and common ppx'es Message-ID: Received-SPF: pass client-ip=185.67.36.65; envelope-from=erikl@posteo.net; helo=mout01.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_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Tue, 18 May 2021 11:56:17 -0400 X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 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" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1621353568; 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: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=FEN9k10bu5gIDS2P5WxxjwQSOqFuHjFFv4VWJXjXFPY=; b=dw3BcVmta6JnKczyUtEGl8goY2GfW0V5utATySveNJy5JTLgdTCilEyFxEx7+fSdwI+p55 qTvqPKCpwkRrdYEubYmTZD6Wn030JuY6NUeYhffQvUxnNBybSIZl0d3fIa7jxJdHG5/sEU GgeZhujRmaLk9xq/pMvYVuSLjR4FmJCieoUb+EKbMoKQfXXzanqYCFmwqiwZSh9/YD5twt Oirc63dkUC8eqrXzeLH3oDMrENYfFsx7oMrHEHaf5jwfcPc/DKtr3ghVOQwbYKcpFx0vRu XzHcF10ZlaisJcNZHh0h2d9qL2ZAzAO7AluiBcSMQcVFpuwOiW9ctKn8vcRGqA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1621353568; a=rsa-sha256; cv=none; b=iedwOd/fTCds9U1Y4/IO39nomi5z5+8j/GTTXPYVi7BeWIhTVbNMaF1fUvkl6deAT26Rak H4OffBBH66fZAQ5sEGQdE+2/0nLGTDbRDieKd3rdLd/OzOW6O3yHFln8ZUXcGVqC2kNV6h IrCRJD6L9M3jBKof2+nfBbLyvPgKh/0Ik3aJTTrJ1RzoaVpTuBWxkR+sf8CajKhUNxRF9d z7aNZ/atQPaZPa12M4uPLAzvF/Q5bwYKZM6lNW5etJhma7phryfNSjlMeMdLtbCwTkugvh HVTw7HHLxBuAO1i0splfGmgKB0iVEtLEIQPbZdJ19Vb6WnTpsxUefJUERaBEFA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=N6xFgb8M; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -3.14 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=N6xFgb8M; dmarc=pass (policy=none) header.from=posteo.net; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 6E4D115B51 X-Spam-Score: -3.14 X-Migadu-Scanner: scn0.migadu.com X-TUID: 069LZDSKx7G6 Hi, I have a project that requires a more recent core-kernel and some of the ppx'es (such as ppx_fields_conv). Being very new to guix I've managed to add/update packages for python and ruby stuff, but this ocaml.scm file is quite different. There's a lot going on which I'm guessing is related to complexities arising from the whole ppx transition that happened in the ocaml ecosystem a few years ago, or perhaps just to the somewhat unsynchronized way libraries move to new versions of the compiler and libs (just speculating here). Anyway afaict (with my limited guix-fu) I would either need to duplicate a whole lot of packages or somehow reorganize things to share definitions where it makes sense. Both those options would require some coordination with the people who made the ocaml.scm infrastructure first, because clearly there are projects out there that need the current set of packages to work like they do now and I don't want to just post a huge patch that surprises these people. Can we get a thread going somewhere on adding a recent version of ocaml-core-kernel (for the 4.11.1 ocaml package, possibly bumping that to 4.11.2 in the process)? Best regards, Erik Lovlie