From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id mKpvG165dmDiDQAAgWs5BA (envelope-from ) for ; Wed, 14 Apr 2021 11:43:58 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id iLVhFV65dmCjKwAAB5/wlQ (envelope-from ) for ; Wed, 14 Apr 2021 09:43:58 +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 EA0C92418D for ; Wed, 14 Apr 2021 11:43:57 +0200 (CEST) Received: from localhost ([::1]:34458 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lWbXH-0003Z2-0H for larch@yhetil.org; Wed, 14 Apr 2021 05:10:11 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35158) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lWbX8-0003UC-Lh for guix-patches@gnu.org; Wed, 14 Apr 2021 05:10:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:50064) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lWbX8-0008Qz-DN for guix-patches@gnu.org; Wed, 14 Apr 2021 05:10:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lWbX8-0006zQ-5f for guix-patches@gnu.org; Wed, 14 Apr 2021 05:10:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47768] [PATCH 00/37] Assorted OCaml patches Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 14 Apr 2021 09:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 47768 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 47768@debbugs.gnu.org Cc: pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.161839134926801 (code B ref -1); Wed, 14 Apr 2021 09:10:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Apr 2021 09:09:09 +0000 Received: from localhost ([127.0.0.1]:33377 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lWbWG-0006yD-Lp for submit@debbugs.gnu.org; Wed, 14 Apr 2021 05:09:08 -0400 Received: from lists.gnu.org ([209.51.188.17]:33958) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lWbWF-0006y6-JA for submit@debbugs.gnu.org; Wed, 14 Apr 2021 05:09:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34974) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lWbWE-0002fx-LD for guix-patches@gnu.org; Wed, 14 Apr 2021 05:09:07 -0400 Received: from mout02.posteo.de ([185.67.36.66]:41343) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lWbW2-0007m7-Su for guix-patches@gnu.org; Wed, 14 Apr 2021 05:09:05 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 5BD062400E5 for ; Wed, 14 Apr 2021 11:08:47 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1618391327; bh=LfEajbIGMo5UIlZZGYZ36Qwvov7TRK7liKuT+xM3SUI=; h=From:To:Cc:Subject:Date:From; b=U7KYoAONOL5gEDT8fCvBn++IYRWaIUBDzRp1Msk/HVEHDE1PDZfDbxYjsM99IEpJ6 zLZGhL0MeGv0aVudZX9PviyL1HarSH1wATxcAzB/3mGMBAX19drdDzA6RyRlU30j6/ 4K95H1Y5MJ/q9qMcgguO/y1ZjrDpLkT4m40VJu5MYafC2fzGeUWTG7otGeNADCc9p3 lDZg0uIpEx8KjTtp43BZMF3zwt8VYKewcvyToglPR+XSGH20PbpOj7EOgkeCGfN+Qv lGvEOgGKBW9ULbeNPaZu1stHFIA/x1US+ka/PpgK37UNxqdXU4OYrTompotIcv5/pF Yd0j85tjCv+fw== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4FKxV63kDwz6tmP; Wed, 14 Apr 2021 11:08:46 +0200 (CEST) From: pukkamustard Date: Wed, 14 Apr 2021 11:08:00 +0200 Message-Id: <20210414090800.6458-1-pukkamustard@posteo.net> X-Mailer: git-send-email 2.31.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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_LOW=-0.7, RCVD_IN_MSPIKE_H4=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-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=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1618393438; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=XTig6LpfojLWZIdYH0caOx8H8EOJQsRJAfn4lHbafYY=; b=R0/yhCpiQv/eGkXSaSYj18/yuw3CccsqhU2d0MY2o7aHGRIgFpQ0BgaccuGZfrVTaoQn78 tpgfOKRWob7fJ/nZ2Z4LhQ+wrHn3X7r49O4JzsyyaH3ygOW2/ICwiav+8RGqFt/PvLflRP BhN7dGT6H29BYdH+S2uphFuB46PSnzsTcoKrVN1WLSRg6sR/sLTfBgnNulOfcdyOQlDvAv D5M7fmi9rRjls5S/dPyLwFbf2pFEbEQD42Upi0ytMmJ+TPABhkGj2InAzuJAtZ17T+yXsS JeDGQcXgJ5pqOuZH5KUPX2RYea8Be1l2Ubt3id7CanjuLKqYORnB/RxZSFUMwA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1618393438; a=rsa-sha256; cv=none; b=aL0ehT46wsJgfPYGdlq4SeToseETNyRhqKM1EdcunI5CMrq0qozGBB9GiZ3DcG1PnbioHF dImVwOwx4bKG2faCj2WTPEYiXMwHCsXQol3ZTseSi8SzKv1aJDN8s3p8hPXSjAIq8v3zTq 9exR9/tOXojIfUkkbxuPs21Cl+cFr5FUAyK54lKHiiBo3VyoiMqL19eFbE6bMlaGhPqo7O 7uL1oX14qgWFJCgIdGiRfiMzn9xtCoFH8V+iqkoSRgmN149FUl6N+54sb2FPrvBrNdw8r1 ogr5EGCKOjgcIdPg540/HEb8aKe3eOkCqHtjuasBdHOdMPtPL3vSF6Cma7Rk2g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=U7KYoAON; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=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-Spam-Score: 3.66 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=U7KYoAON; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=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: EA0C92418D X-Spam-Score: 3.66 X-Migadu-Scanner: scn0.migadu.com X-TUID: 6AZojpAnxEQA Hello Guix, I have been collecting some patches to the OCaml packaging in Guix. It has got a bit long, sorry for that. The main theme of this series is to provide basic OCaml packages in Guix that also work with more recent version of OCaml. Currently most OCaml packages in Guix are only for OCaml 4.07. Most patches are of following form: - Add new ocaml-X package with latest upstream verison of X - Make existing ocaml4.07-X package inherit from new ocaml-X Some packages are newly added because I am using them (ocaml-uunf and ocaml-angstrom) or because they are dependencies of newer version of packages already in Guix (e.g. ocaml-time-now). There are still quite a few packages in Guix that are only available for OCaml 4.07 (ocaml4.07-X but no ocaml-X). Eventually adding them would be nice for OCaml hackers working with recent version of the compiler. As I understand we want to keep the ocaml4.07-* packages for bootstrapping purposes. Thanks, pukkamustard pukkamustard (37): gnu: ocaml-integers: Update to 0.4.0. gnu: ocaml-ctypes: Update to 0.18.0. gnu: ocaml-ctypes: Make ocaml-integers a propagated input. gnu: ocaml-lwt: Make libev a propagated input. gnu: ocaml-lwt: Update to 5.4.0. gnu: ocaml4.07-gen: Update to 0.5.3. gnu: Add ocaml-gen. gnu: Add ocaml-stdio. gnu: Add ocaml-compiler-libs. gnu: ocaml-migrate-parsetree: Update to 1.8.0. gnu: ocaml-migrate-parsetree: Update to 2.1.0. gnu: Add ocaml-ppxlib. gnu: Add ocaml-sedlex. gnu: Add ocaml-uunf. gnu: Add ocaml-ppx-sexp-conv. gnu: Add ocaml-bigstringaf. gnu: Add ocaml-ppx-let. gnu: Add ocaml-syntax-shims. gnu: Add ocaml-ppx-compare. gnu: Add ocaml-ppx-here. gnu: Add ocaml-ppx-cold. gnu: Add ocaml-ppx-assert. gnu: Add ocaml-ppx-custom-printf. gnu: Add ocaml-ppx-hash. gnu: Add ocaml-ppx-enumerate. gnu: Add ocaml-ppx-js-style. gnu: Add ocaml-ppx-base. gnu: Add ocaml-fieldslib. gnu: Add ocaml-ppx-fields-conv. gnu: Add ocaml-ppx-optcomp gnu: Add ocaml-ppx-optional. gnu: Add ocaml-jst-config. gnu: Add ocaml-jane-street-headers. gnu: Add ocaml-time-now. gnu: Add ocaml-ppx-inline-test. gnu: Add ocaml-angstrom. gnu: Add ocaml-uri. gnu/packages/ocaml.scm | 1476 ++++++++++++++++++++++++++-------------- 1 file changed, 949 insertions(+), 527 deletions(-) -- 2.31.1