From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 04:29:08 2019 Received: (at submit) by debbugs.gnu.org; 5 Jan 2019 09:29:08 +0000 Received: from localhost ([127.0.0.1]:47230 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiGS-0000Cr-4d for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:29:08 -0500 Received: from eggs.gnu.org ([208.118.235.92]:35588) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiGR-0000Cj-7k for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:29:07 -0500 Received: from listsout.gnu.org ([208.118.235.17]:49592) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gfiGQ-0001dD-TF for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:29:06 -0500 Received: from eggsout.gnu.org ([209.51.188.92]:49036 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfiGQ-0003yG-1V for guix-patches@gnu.org; Sat, 05 Jan 2019 04:29:06 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfiGP-0001ca-3N for guix-patches@gnu.org; Sat, 05 Jan 2019 04:29:05 -0500 Received: from mail-ed1-x533.google.com ([2a00:1450:4864:20::533]:34286) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfiGO-0001bp-S9 for guix-patches@gnu.org; Sat, 05 Jan 2019 04:29:05 -0500 Received: by mail-ed1-x533.google.com with SMTP id b3so33806053ede.1 for ; Sat, 05 Jan 2019 01:29:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=J/6cQWzgg8wjlnPRINOK1becqBGGLCxTkFVxWzdUCEI=; b=n2xhhwaBp1uYRu0tIkAifCrkMfB7ayIC9LofjFzOSdRKkYGKwhKJds//n9CdAe72v3 dpKxD9apCcjeQgVtawuvvF+Oz1dC4Nz+zIeYdOb1I/UPzSOSDGoqLGhhMLTCRwW23fZu OTB7lD1F3f56fuSdFHv7rJ9TGNP4ZyGGuOBc7TwOstmVDDfxy92c8zMuAtn9NkmGjtel T+ahglouSWe7ECfQcsu3OYDQwh6KEcHw4eLyct9LCwRNLjQ9dKKMOFuLlPm0nN6oRh/Y 5dWhJ/eApAkZ6GNJJi+B3YL7C6zhPaDbAjO9g4P+0IzzwJ/9oDZD/KVKHOmO25ubQCXn tUKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=J/6cQWzgg8wjlnPRINOK1becqBGGLCxTkFVxWzdUCEI=; b=VJhRpd0X1ZOGhzl7nxCjHJj04FacjbGL0153ag+EQJxScEhslWlHpRtIuuk9zqwU40 alTHAOJTnOfiSkyz2VxCv6nqhxyUHZLJ7U1TOZ9V9CeAM8tNRgHflhb9VTLWyNRbpdqO Xq3o6g3LgMg7mWmwRbcdtBwOXf2Kbt0M1HkvB5N1FGbi0/Sz6j4Wxr4morYnHaWsW3ss q9RN/WaO2nH1pjVQB5C73mm3WL1u8Y2o9OnuyBagGeS3YHaFS5GHKbdACyAdU8rOhDFe JkCNopm3Uj4uKebbKnLlVrrTpo1K06x7ue/xuZqGlJqlMkAvRFREWfxH0Ho06nL9Xm+S Rizw== X-Gm-Message-State: AA+aEWYIUdGY89hJI0hEdwk/qfCAduURF4xTYBhC4hzw1R4N2q6a5oCZ /J6sNDnAHiij/CjbA5VqC8Q7Qj8q X-Google-Smtp-Source: AFSGD/Uwl8O76w1V6xY8pauU4CaN1aRdHjdGTecp8BH/CBrHIsTSOfM1ldIwLgRVXnW6XE+0ZKYGqg== X-Received: by 2002:a50:cc04:: with SMTP id m4mr49947235edi.171.1546680543441; Sat, 05 Jan 2019 01:29:03 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id j31sm26308902eda.46.2019.01.05.01.29.02 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 01:29:02 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: guix-patches@gnu.org Subject: [PATCH 1/9] gnu: Add ocaml-sexplib0. Date: Thu, 3 Jan 2019 08:18:32 +0100 Message-ID: <87lg3z8nc2.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::533 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-sexplib0): New variable. =2D-- gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e4f17133d..bece14477 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5105,3 +5105,28 @@ speedup, polymorphic variants and optional syntax fo= r tuples and variants. yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) + +(define-public ocaml-sexplib0 + (package + (name "ocaml-sexplib0") + (version "0.11.0") + (home-page "https://github.com/janestreet/sexplib0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) + (synopsis "Library containing the definition of S-expressions and some +base converters") + (description "Part of Jane Street's Core library The Core suite of +libraries is an industrial strength alternative to OCaml's standard library +that was developed by Jane Street, the largest industrial user of OCaml.") +(license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwweN0ACgkQMbyBBfZZ 1CVtGRAAio29GRn9L/zPyf6ZoPco2PH4mRfDwhmubmSyosKjH+U40Xsbzkuo0wCV HdwC0czUq/VpWzNHFbrRYizfDv9zzEyl39ddSWUzRFWIPI10MFvLIko+3YonEtMk XALjEgJo2GWLADtPX+B2IJVP8W+dYJt6lg5GcUSjhJau9G166QpQeB9CnfKCxsFU dxOPBBsdAw1P26DPme1p+FRicNfKX4dzBqTgyuD9hyTKWuDyx+hQv51ymUjPW0Nd qCmGSAkLAILbmGp2Yo5OPa0tvYF30e+eDvoq+p2u5uYssWfyPWagiVYQj03ltKXR jKoBfZBkP9kbiFLZLoRuvbEm/I4fsWZ9tGkvFRtI9+9KXz43lSPoyNoMS2yIcwgk NUQzA7P7/Rq0lhAwOvZrruvsW3PoF72imi3tdV1pKLYr6/hkrKmhx93NeTjtZ0oN tsjBxcVK95b+Fralqs1sTTeDNIZOcUgXnYgEn6fCVN4RGa2jVygZ+LiOm948CHsP 10T0YgIOPEkNO2Rm7xhpca6+U8F4eYYLKv+u+MJl4vyhUh5xjF/1GuGH6yDUnhBv lbxGGsHL399XJUQnme2SDEMWEeE/KAYadcUr7YnxP7OWwJad93HvaBdD5MjYRrP2 BlP5vrXQ6pU2y2araWs2vlgCGIfHj0qMUov6vj8zS/2IDekC0P8= =nCh2 -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 04:31:48 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 09:31:49 +0000 Received: from localhost ([127.0.0.1]:47233 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiJ2-0000Jf-Ki for submit@debbugs.gnu.org; Sat, 05 Jan 2019 04:31:48 -0500 Received: from mail-ed1-f48.google.com ([209.85.208.48]:39975) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfiJ1-0000JS-Ah for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 04:31:47 -0500 Received: by mail-ed1-f48.google.com with SMTP id g22so33676720edr.7 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 01:31:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=5On0+IBXekAv0M2rMlr00PZctibfa73Kmp20GYZihdA=; b=K7Kd66CQM+Db4w0EjZc3e8+VuyLyyvyjUIf+IEYHLQn46XxDiIuxc1lQk1qBAN++sp qAIhgWIzZ1cRTzI26ZdAKUj2cqE+QK1Firr1zXAr4pfP7+tw0ODcmIzG3CWLzifghgin OuTv2P/RWxyEpCTGfNOXDET/+E65lH1t5V9BefVZ9rq9KyIO2vg2Fr4w77IJGXscxya7 11gkzfsR2BJ4Padn8M5feH8j9i5glCVtbAsA38kmzhoxAbp0uqpS42kAELbJDmQWVFN1 /j8MJPFA5o9Cvoze3YRbIBnoqAGEI5wSK8to4oR7iUv9twQ6Uq3WHlbXKSGOezYVNMoc AJtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=5On0+IBXekAv0M2rMlr00PZctibfa73Kmp20GYZihdA=; b=oV4JBSuQA12Kdm/9Mg3H+TunhSfJGNHvcse5h+rkS/gyKuhOFHU4F3/s3bxGDPbM8Z BvmL87qZA/h76GbB5c/UuCPHu6ksdKgrnFWzuVpY1md8aPbcevog0UyD75Kh4+IWx1Ew iNaZnq6hvma7Jgua1FCfO8K5a0WgMCDNYEBXbyjasVP0sTVHVznQ+ajTzoJ1kqcZDX88 unbfUTUG7GTqdqd8lsj+5IDJV3EX3LIDNqg9uz6q88UZVBiTHKIaeA9KAatrxFZyl8Z+ 7Dpd2vWajxN0WsfEIjaTvvhARv+ucEF78sI69zhMY/jhor7DSza/n3oBqR6S7RbPbCx/ 1MUw== X-Gm-Message-State: AA+aEWZjW+/SH78gWzWoMvfWkrGelRZspUaCpajSNeSY5+59xl+ud7fm 0/LntewyEbbTM5NEKDrkZClY3vUA X-Google-Smtp-Source: AFSGD/XbklJq/Qt+AedpVExGxw17yJyFtaqTTrUrORsVRFbpvNbUC7OcuV4BvDy2mCYWAa4KrDsthQ== X-Received: by 2002:a50:88a4:: with SMTP id d33mr49066604edd.261.1546680701362; Sat, 05 Jan 2019 01:31:41 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id g21sm28775643edc.63.2019.01.05.01.31.40 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 01:31:40 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 2/9] gnu: Add ocaml-parsexp. Date: Thu, 3 Jan 2019 08:26:51 +0100 Message-ID: <87k1jj8n7n.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-parsexp): New variable. =2D-- gnu/packages/ocaml.scm | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index bece14477..7876c69a7 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5130,3 +5130,49 @@ base converters") libraries is an industrial strength alternative to OCaml's standard library that was developed by Jane Street, the largest industrial user of OCaml.") (license license:expat))) + +(define-public ocaml-parsexp + (package + (name "ocaml-parsexp") + (version "0.11.0") + (home-page "https://github.com/janestreet/parsexp") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1nyq23s5igd8cf3n4qxprjvhbmb6ighb3fy5mw7hxl0mdgsw5fvz")))) + (build-system dune-build-system) + (inputs + `(("ocaml-sexplib0" ,ocaml-sexplib0))) + (synopsis "S-expression parsing library") + (description + "This library provides generic parsers for parsing S-expressions from +strings or other medium. + +The library is focused on performances but still provide full generic +parsers that can be used with strings, bigstrings, lexing buffers, +character streams or any other sources effortlessly. + +It provides three different class of parsers: +@itemize +@item +the normal parsers, producing [Sexp.t] or [Sexp.t list] values +@item +the parsers with positions, building compact position sequences so +that one can recover original positions in order to report properly +located errors at little cost +@item +the Concrete Syntax Tree parsers, produce values of type +[Parsexp.Cst.t] which record the concrete layout of the s-expression +syntax, including comments +@end itemize + +This library is portable and doesn't provide IO functions. To read +s-expressions from files or other external sources, you should use +parsexp_io.") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwweXwACgkQMbyBBfZZ 1CX/dw//QZzcRw8rITI6Squ6sg/oKPyY4o2c/g8S3zCSWPOZFo6LkOAtlS6jeJQn h8+j/Ii1eGR4P1jCKi2eC6DnO0EumGdSYieWPdemsXortYmG6RTw9xXohvp7YVqQ ffbQ500ZON7+NyR92t3fE+3BfNUjmxju4vqehL693j++gamJziCrG6SNaMEKumjg cHdceWN/+/h1/gNVsXgnXNS6khb+M3wzfpyhJZx2CU3/qTZ0HVV71XLidIC+cigt gxmcVw+0BQpH67xN3O6Ud5QxEuWjAAgKZ/QDq8TbvbMfbdLIWLt9WATmfiYq7Q5m QcbRlxx01dQcHtI8lBxkR7BWPbC8VIfTeERBrMWSmNdZal7IN86f20zuZaFVa9jN MxHCfD7Q4lOuPoYt/tqRtJjKRH7vbvRBB2kTGR/rweEQjIChliarsa8iZjuDYQ2Z GLDIcLOz1zbn4xcD0sCc17o/+1XBJyUidRxJfYiiOChdCCESc6RymN7OPOn3uvp2 UQq7yu1jvutxm/B52JPurlQQ2LEfPePDI3G8D8sCTzsfUkfwN1etm3Fus4ppKPPK F90wjwQqAakyNmCcP2hBlQ2bsSJBGX+K3NwQzGg66fMx/MqkPQgfc/D4dsR1KWVT kMyTn4xU+uRNc1/3TPq3oYAjNtdVF995XcnzS3n+s8BKJZa1wfU= =6OMU -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:09:29 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:09:29 +0000 Received: from localhost ([127.0.0.1]:47277 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjpY-0006cw-Ti for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:09:29 -0500 Received: from mail-ed1-f49.google.com ([209.85.208.49]:37529) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjpW-0006ch-OT for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:09:27 -0500 Received: by mail-ed1-f49.google.com with SMTP id h15so33840554edb.4 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:09:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=CzvL9+v0dqJ5Lgolq9p7Kxul9v6xsw2B+eAxfROlUJ8=; b=mKXrDhLCK3aiw96S8OTsiHXK/eg17gsy88+mlZXNyNsyHzcSgrpwRlyLwAErWQ7vC8 RrhXkPf71HHLnfR3dr3MGao1doylaZN/BKDnQDdxsWNCezOSp74KCUqkuF5aCFw07Xop 9LDBGfkvSx8orTB7NvftUSkYYn2iQQwIDGgLU47k2/CADRJzgS8Z812Oj/pl+TgnuASv ytBKTl/hOJNVl9xOHopphvVkVndZx2V+6+aLJmbDNnshX2EwbexZYYMAhJ60dlG5A8OG 2TmvJMNtWqk06XP/p0HIayY34kAFhftf8Ea+ZKxilqnXxyOj8aY11pAE+sElY4h76+Y4 suVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=CzvL9+v0dqJ5Lgolq9p7Kxul9v6xsw2B+eAxfROlUJ8=; b=CDKiBlJXJGDCyvRx+NrqypUkS8p+cY2xHEPCfMK0EQueGNpXzx3Lgr91WzEtyKyUxm OvBX3Al3twknQD4k7c56tVDldcaiKHSkImf7ZWQcSysmxFZ7lkyXwFL9kRFWcJITPbBk 6zgBS1/fUE1y0QEztGNdRR73iw4U/R7VXZvjamT88seiIOynL4zzqVGPF0414Df0VSfU riUvsbAL9a68uIpUZKjwyfMTJzOAKA6LWM+5iUWhCZa327TCyirRB+I4n5ZfYi9tQPsO CxECewX7aFpTZErrl+ujjUX43YsFtaYaxzEN9Keyvj1xb00LoFXcHxX0uXtGO9K9c1Ra cE8A== X-Gm-Message-State: AA+aEWblGLqPM5bAddwCOwzO6M4Yar2FPC1hM9ifvDf6ur9AcON0CDyP EDNE+HgR3j20odWuVF95lTyFXa2S X-Google-Smtp-Source: AFSGD/WS8azW0eDiGjJkWgPI0RAx1LHYtQWEfr8OBb51t9cY+h1INHuoMTUlhyW7Z5pLA6kp4WQTRQ== X-Received: by 2002:a50:ed03:: with SMTP id j3mr49405049eds.134.1546686560906; Sat, 05 Jan 2019 03:09:20 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id z16-v6sm15268492eju.61.2019.01.05.03.09.20 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:09:20 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 3/9] gnu: Add ocaml-sexplib. Date: Thu, 3 Jan 2019 08:45:36 +0100 Message-ID: <87imz38ip0.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-sexplib): New variable. =2D-- gnu/packages/ocaml.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7876c69a7..0faab47ee 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5176,3 +5176,32 @@ This library is portable and doesn't provide IO func= tions. To read s-expressions from files or other external sources, you should use parsexp_io.") (license license:expat))) + +(define-public ocaml-sexplib + (package + (name "ocaml-sexplib") + (version "0.11.0") + (home-page "https://github.com/janestreet/sexplib") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1qfl0m04rpcjvc4yw1hzh6r16jpwmap0sa9ax6zjji67dz4szpyb")))) + (build-system dune-build-system) + (inputs + `(("ocaml-num" ,ocaml-num) + ("ocaml-parsexp" ,ocaml-parsexp) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (synopsis + "Library for serializing OCaml values to and from S-expressions") + (description + "Part of Jane Street's Core library +The Core suite of libraries is an industrial strength alternative to +OCaml's standard library that was developed by Jane Street, the +largest industrial user of OCaml.") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkFsACgkQMbyBBfZZ 1CWCnA/8DMh3bZfgC9GshUICrXhVHGL/MV4JplG6yxTcV25Xiv/eBFVjG5CQG4vd O6mK1RS59T4u1WytVXexWQyU+hriZyEMNqJW08lqEtTZyUDDXXn0XxXzGK4CX1g7 vbti0YUMv8ieIBUze+4Tyylvb3mPQOjDH20YEku18wDJ0KSMr6NKnyygOJYqoY4f MGuEEkgvzd0yjr/wrQpNuYd0MuMlgyRf9uIaspCyxEOkDyj0n6FQX2bDuDc4tmPn SGGnR1IGF7S72uG/bs5k5kVDeBmWrLBmx8fNxrIv0VtUgd5+MQetE5mjbNtMIqLj DPzddyCtBerbErLRTtXWZ347fQrCTgSfdRwOGvWngm9h2Fhb29Vqr2PUg7vemyf8 YV4WJioLLXFs5CqLTw+bA8++gs5q0JLRpp+ZFn9tdqVSKUES6YzsddOO231u2oM7 5CW0/ac8WC3pXUS3wc/fzlBGXxEJo/N3YQFP1/E8RkiF7B86Jf6OGheR3aTIqGzV fQhc6a2saSL/UdG3NmxkOf7TM9uBKFAL3CL9QpFLc+WQHxH6XlGBVJS4iHLLqf5S Isl1IB8ZHWYaAgcHqLV/tcx5EB80zZ3M9KW7OwCaibEyg8sip+XuWKLVJ0o/hmFK 0PYjHdqEhAxZDRqjpnV0p3q7sf+sDt+pI7WvcHEdnZEgDpDUgiU= =Os6k -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:11:04 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:11:04 +0000 Received: from localhost ([127.0.0.1]:47285 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjr6-0006ft-Ax for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:04 -0500 Received: from mail-ed1-f42.google.com ([209.85.208.42]:33328) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjr4-0006fP-Ox for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:03 -0500 Received: by mail-ed1-f42.google.com with SMTP id p6so33929063eds.0 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:11:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=X+p6DyLDf1lm0YK/bgE0IOG5NW3AyXMgSj7m/8qrc/M=; b=stInaBQHyajz2/LQP/UVGu3jpCTSn08IWkchSNq9R/ZHX9pJCImVFxMPkQFHJnLFcy ZX6U6DFF7NHlwiM/l9ll5E7yqDdVpLtbZd9L3tt91u8M2i5BAZPLM8WwK6B6XEeF5fo8 V+DpmENkfndzd1jjMdWH7bOqX3dVwn6z28jZklQZkBaiU3CjmvV73Ye2AkqlxkUkDZMz ogvYhKE/dB07L63kbIODn68xEF06lALMPs7ayrD+9fq8YsfV2bS4x1TzBrgyGkPjkYcd VVM4KKkjkPI1UnGIYiEE5hj/3pudOrOQpNg/cNJX2M6jhcnuiKo/cJcE5pXuXQ/7Bdva PY8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=X+p6DyLDf1lm0YK/bgE0IOG5NW3AyXMgSj7m/8qrc/M=; b=BzXXJS4VpjK8M8F81UwFkXpapvKEJC74nB+6IeEgf1ar8DQMj0QHPg3oSsloRQx2kH ga16TJ/H1L8lP5rHOqj+LsrGNquNZu+5zA4Lni9DUKh2spYcVcLIp890e3+/qsW9xWia eNyUxep4vpdCW9cU1pwPyiBhcClCU8O/VhKTRL3dJsX+MbQh7NFTHaSqczA2IGj8NqVw shUiofwB3nyHoVNeIaWlm/Vk7f6Klb4yc2pCBwGu6iYwWqFl5Vh9wkKdtqO1mwm8msw0 GgxYIIRiStIAstn9Rkm0CvgAZe450iQR2z6UdueSfusjkBlsZjWGI7ZvDyJP1aCelrbe 4gWw== X-Gm-Message-State: AA+aEWbSAm8UPLQBC9w24GhR+elVs2wRqA08yIbXBuvE0/MFXYP5wtBh 3ERscMbu7Q+Qx6To5KurEc+ttEUy X-Google-Smtp-Source: AFSGD/WXbrkB+QFGSdu7yaRwT6rR/jryVYNPpvqURB3sc4WuzeKkaV5j0wRdDgFXoEf15sF77sk0EA== X-Received: by 2002:a17:906:6dcb:: with SMTP id j11-v6mr41590548ejt.162.1546686656666; Sat, 05 Jan 2019 03:10:56 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id p7-v6sm15441768ejx.27.2019.01.05.03.10.55 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:10:56 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 4/9] gnu: Add ocaml-base. Date: Thu, 3 Jan 2019 09:43:49 +0100 Message-ID: <87h8en8im8.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-base): New variable. =2D-- gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0faab47ee..9e2e7e09b 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5205,3 +5205,45 @@ The Core suite of libraries is an industrial strengt= h alternative to OCaml's standard library that was developed by Jane Street, the largest industrial user of OCaml.") (license license:expat))) + +(define-public ocaml-base + (package + (name "ocaml-base") + (version "0.11.1") + (home-page "https://github.com/janestreet/base") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir")))) + (build-system dune-build-system) + (inputs + `(("ocaml-sexplib0" ,ocaml-sexplib0))) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'build + ;; make warnings non fatal (jbuilder behaviour) + (lambda _ + (invoke "dune" "build" "@install" "--profile=3Drelease")))))) + (synopsis + "Full standard library replacement for OCaml") + (description + "Full standard library replacement for OCaml + +Base is a complete and portable alternative to the OCaml standard +library. It provides all standard functionalities one would expect +from a language standard library. It uses consistent conventions +across all of its module. + +Base aims to be usable in any context. As a result system dependent +features such as I/O are not offered by Base. They are instead +provided by companion libraries such as +@url{https://github.com/janestreet/stdio, stdio}.") + (license license:expat))) + =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkL8ACgkQMbyBBfZZ 1CVqxRAAq4VzCCtztfEJfr4ifEy/EPtUj81HKWbC0cdgeG/j3874yFfKna/heDyU 7b4KBOLitOIEaqLQzrQcMQeZbgR7pCt6eAR/P/5LIVe6A6ejQsC27P8Bs2c9MrGc KTWHTtF06TapkuLZdn7V/esS8h0U4g0JATLyBXGAag9j2LKL/+lvmaAZlQZ2Ulmr bDH1vqlTnkwk7Zu5exTGxSXMrjbEesfAsi8TI6PXt+lKvF7RHk3XvEfHeItv0ZJI CtFLnjamHIyjVnROJNvMIMS5ZCKNvh1m3CSGv5+e1eocsMViYQoTWso5Qq8cuFKj 4oMm47O5NuuyzGprwpACXr0axy/ntIZQfhSe3X4IFwxuJxSX0udfp6sGa4hMXxVx FwyQeb9lU3fbKy1PjAcYmt5/jdWR+IBg/0ow7Oc+enmiFk0zOUIe7Lm9qg0Vdl8i GT63pUjhhZlDECXu0V3xH6wOzfffUasIfwl+YElkriCtb/4Zw3NOkpu1ImVEmvLF PvlYnnsWbelnziOAdKBKIGKB+VdaW+avRldZFkBc0walTg77QDT/aWXS6FjPw9u6 kWCocpXOdkN6yeNF7SzO6FyYhMirlVHMazi47Ve3cD3O/AbJeOUNOL8mWQ8hgRmF coC6omRJdXtYI12pKU1mm+fpeItENxWm65lXH2tLTRFoUgr9gJI= =q6lz -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:11:51 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:11:51 +0000 Received: from localhost ([127.0.0.1]:47288 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjrq-0006gs-PL for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:51 -0500 Received: from mail-ed1-f49.google.com ([209.85.208.49]:43790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjrp-0006gg-EF for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:11:49 -0500 Received: by mail-ed1-f49.google.com with SMTP id f9so33821410eds.10 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:11:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=eog3JOMTwdX4TzLfkuoORMRViFDAVCl7V/X1T2bWIG0=; b=uyycDmDiJ7UxNc7LXZUcxaqicsAIJiu5XiDKrhCt1g5qZv+Htv09Pl6KXgcitBqd1X lMgNpM6lh9A9mfSY5AC+/djj/2NWPaWZ2p2Gc25FEX0o+/iMnTTzRmo8aYaHfIXEpsuJ pg8CffjjcncHkzmO+u1jN0fMClS91lYDgSrMvgFWyot1kcn2xu7/NSXR1LrwHhUpvhmA CzDxHCgd8Q8Ft66WBqhgxJkEZLHX3XKOy7Yg8rV/3erU1YczcevzKuIGGcdAOlFpd+vN rpV5FgWzs8ch7x0CbXNV0eP6mGgn7BdURJxLkv8EsigTdt5D7Cgk1VWBtK3GRcdfq38K igpA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=eog3JOMTwdX4TzLfkuoORMRViFDAVCl7V/X1T2bWIG0=; b=njqTLzaM4/eAuLmpuhqa7+TTa4sbvZizGRuYyLKj4DSD8lB7wpNpwK4nmYAMeFH+hk ZUcCHJW/YNGhXuE6oIcyDQrwryPBWcg5PzdGUP/lF2tl53HLHq5P3P+lsmE941m4qkvf s1hjR/rUjYZEW47858FLVnpqv6kJpGuAyEjEak3iwWh2m1HbAifzewhFKm+c08SPHTj5 2hqfniMuejOaNfcrCVrIhJnJdHDjHPMFkG5B9tHxPPLpYlhl6Sk8Mr8puhLxOmZ0Aq5G 030fkgIIUtwMlkcJtarIGiWFJcSWV6HJnwNcE7uqeXpNHpO1QK6PCjIgGrJGU7tVkiv8 gkkw== X-Gm-Message-State: AA+aEWYnI5P90eTAgd7GzPGCR0trSDCYReist6VKEGL4sJbg0PS83/SU krSXL7wStRik7ICyQ/8PPa0oq8aC X-Google-Smtp-Source: AFSGD/XXYBhTbo/T+WP1XOMaqSjPRT4ZhDkTOxIdkMjV2bzZMOo2KHqr5m2HQm73GaSO2M/pdIwxjg== X-Received: by 2002:aa7:d487:: with SMTP id b7mr47365334edr.256.1546686703635; Sat, 05 Jan 2019 03:11:43 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id h21-v6sm15324240eja.45.2019.01.05.03.11.42 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:11:43 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 5/9] gnu: Add ocaml-compiler-libs. Date: Thu, 3 Jan 2019 10:13:51 +0100 Message-ID: <87ftu78ikx.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-compiler-libs): New variable. =2D-- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9e2e7e09b..6f91f5d99 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5247,3 +5247,26 @@ provided by companion libraries such as @url{https://github.com/janestreet/stdio, stdio}.") (license license:expat))) =20 +(define-public ocaml-compiler-libs + (package + (name "ocaml-compiler-libs") + (version "0.11.0") + (home-page "https://github.com/janestreet/ocaml-compiler-libs") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "03jds7bszh8wwpfwxb3dg0gyr1j1872wxwx1xqhry5ir0i84bg0s")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) + (synopsis "Compiler libraries repackaged") + (description "This packaeg simply repackages the OCaml compiler librar= ies +so they don't expose everything at toplevel. For instance, @code{Ast_help= er} +is now @code{Ocaml_common.Ast_helper}.") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkO4ACgkQMbyBBfZZ 1CWI6w/9H7/bKlFNznvNyhoXS8tKvIzCUxzRNdtKrocNlAvAz5kd4Z/ppCSP+ul0 IisnhybfzZklap1Cl5aDUTEOTl2YLzE5pj3Z0TcP+eEw5wYefAvwXJuQ9S22TMy8 hVPIXkh8UmHihsQ6TzwkYXBS5YpDvZwudkY0jIYWVyDPloOHsExehHH1rkNKeoPZ h/TglNO8W/4LCXvbgMwjA8PWQcDjmXGmRVsDh3TGXyMFutvbYjAyULFo8OeDca/K 7tMPZEVSK3JCrTO9fLIKV/E1YxNXu2+vobomfXj03sEibIKrN5CNPJ0ht7NKmMwY qbB+di/Gcz4ioSzLvXMVxPeE0ORC1jjcgw3bqtIhl4mJhIyY5Fl/gzl9Y5m7Wvtr LaFxRehtPmJgDYCuPDrP382hTnhKqtJbGpsOsWsFxp600ibYOa0eyCCEyxipa7K9 2Qui3gqzCTEl/gey0P73FwFsNUWD4LD8v4RZzxJTHzXrMfdAWoxdhYlMDrDUN7x/ Nb19QWvovg1LCSDgiZPpRotyw4OjPVpXw67LwemzJ6T+8PqLh797CIje8CTBaAhQ 3VHvBSntX9jfcw8xXEF8gKmFyEG2H9UD6pcrbCicldquLTo+Wk5kj7zMcdDPd157 U6X+/+xZq6I0vvjfCmG3nydrMnQxYgIF6UU/kVlv5j9/UB0Sdo0= =IMW1 -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:12:32 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:12:32 +0000 Received: from localhost ([127.0.0.1]:47291 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjsW-0006iL-4k for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:12:32 -0500 Received: from mail-ed1-f44.google.com ([209.85.208.44]:34232) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjsU-0006i7-Ea for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:12:30 -0500 Received: by mail-ed1-f44.google.com with SMTP id b3so33947934ede.1 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:12:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=GSuU5KI6KMcpWP9YBh+3Yxu3JWP08AOHMyhsIuxPj3g=; b=kYjP3/RcCq8XwDT2/hevosEa830xtOf1WujAe0G3y9i/RIeSJPvDZg4vPUFjY63818 z+ppDYb+x+xXb6ycvwdE9+x9S4aqw68Jgi8RQZrdUltFCViBPNBcpbIptJbqIT2wJsdZ 4qbGtEXamVvgbjiFIKp0MHoXvgBkEPgcicVMX0KohxBQ4BsajEo5FG5kSigkX4mumhNw RRvINKh8RrVqFO0+FtoUawvRtxdlXMRAPzOM+0mcaLT/A4XzD2oJ6XfzBoUufG8G1i1B OwuYoeDWT+Nv7qFFhTsz/+H3zTuDihJeMo3DDFMElE2mORsk+YjDn98qCA7zboBnpxyP 9F9g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=GSuU5KI6KMcpWP9YBh+3Yxu3JWP08AOHMyhsIuxPj3g=; b=QsoEIZjS/9By6wMHT4Ak2h6dOzakja+YZ88GpNKxNoulmhFgWVQ4MNEN3eIT2/u6VP hl/z1WDOjBd1c8HN4L8T+XW+1ZL84TxxMPqhNq7Y5p+tnRNBG1zq/nF+AODTVgLpb0px nCYSPWVlBQ6+RVqnndHQZwvNMyupPUrU3/uePy2O6Pm6X6/x352jiuf5gS1/HRmTOnac 2bkdXsSUMCrlUATE6bKBOUhF0mUTDBiTaRr4QhsAYUSxNQXNPojdsrwsEZTC7M8MkL/u 5INhGvqY9Yc3i5O8MgljWTmFPi/Q9mmKUC4SYj4gCwaXstjnjNbk4VrSQXLB7WAxgL7m zwXw== X-Gm-Message-State: AA+aEWbdTWhwMVlwQzWns6Pqjo/cwKI0HZ2+hG2YnKEdx9raSK/hUV6M zUGMXE0dvL/yI6lRBGxfsSWMfPRd X-Google-Smtp-Source: AFSGD/XcSqiHkxnp7Tg3LtgcmUfGVhxHW5Rk8NgXIfx5tiqiUFzXZLh/cdKMV8AE+S2qXdJKjJHnHg== X-Received: by 2002:a17:906:6b43:: with SMTP id o3-v6mr41836839ejs.31.1546686744532; Sat, 05 Jan 2019 03:12:24 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id 97sm28744745edq.45.2019.01.05.03.12.23 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:12:23 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 6/9] gnu: Add ocaml-migrate-parsetree. Date: Thu, 3 Jan 2019 10:40:45 +0100 Message-ID: <87ef9r8ijs.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-migrate-parsetree): New variable. =2D-- gnu/packages/ocaml.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 6f91f5d99..28ae9fd04 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5270,3 +5270,33 @@ provided by companion libraries such as so they don't expose everything at toplevel. For instance, @code{Ast_help= er} is now @code{Ocaml_common.Ast_helper}.") (license license:expat))) + +(define-public ocaml-migrate-parsetree + (package + (name "ocaml-migrate-parsetree") + (version "1.1.0") + (home-page "https://github.com/ocaml-ppx/ocaml-migrate-parsetree") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1d2n349d1cqm3dr09mwy5m9rfd4bkkqvri5i94wknpsrr35vnrr1")))) + (build-system dune-build-system) + (inputs + `(("ocaml-compiler-libs" ,ocaml-compiler-libs) + ("ocaml-result" ,ocaml-result))) + (native-inputs + `(("ocamlbuild" ,ocamlbuild))) + (synopsis "Convert OCaml parsetrees between different major versions") + (description "This library converts between parsetrees of different OC= aml +version. + +Supported versions are 4.02, 4.03, 4.04, 4.05 and 4.06. For each version, +there is a snapshot of the parsetree and conversion functions to the next +and/or previous version.") + (license license:lgpl2.1+))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkRcACgkQMbyBBfZZ 1CXI2Q//XUW4Aq3aIw57lQy68sOSwVFMHr06kLrZry9FDEa1MUPZGbWMJohQGRKQ AAb/W+YMJhszz3Tu4vhZ9ZS3ZdoHbCg8XkqlrNXth7p7AxVsnFTQsC77Wq64JP/z AI708LEQTaTOHSBbNnGxWWJzMEe0uwbGWwCQnnxE/ge7pZSQ/DQRgOHIJVbUoUZ0 Dm2cy29+ENcVY3A7IyIVZAHaL4rMlXYW5Lw15h+rdMYont7GiANOHaDWeK1A5xsF oW7BkWjtQeTyCJdBDwnOXfu87+QZd3vc8xuLyHTxf8N6DhyC4/djXyMmyLsbyU0c O4/4htuWkjJ/Jc/wS+h/Of37JxjDSbNNfOOO1Ipdbu8LwxCy1u21aBofACDpqVjU 2LME31b9EVvaR2BcmhH9Iz/3imMkyJ9aNYEEbaE0vX57/S3233oD3kQITawgaOrh f/esre7AvEsimSY3Yw6WFy2dUdgod5oPjDHDU6TDljfrOeq0bVgF31ewONtjpL/x 3Yz7LaEC/K6+xUyH83QQlb6fg2UfTyxXaxWUG8jiTPIqWfILaPfM7VwrsK+UAWSB H6TgSGupK762EWuLce/FBEbxiMMAi+3x7OeT0L/Wd9kSDgVU7YK9svpa7GBnwtRy OUaxsIRN/5yXLssDvGCVYO1T5O/gs62NAQl4FqtAJlprWUy0v6M= =7TXm -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:13:19 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:13:19 +0000 Received: from localhost ([127.0.0.1]:47294 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjtG-0006jm-Ry for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:13:19 -0500 Received: from mail-ed1-f54.google.com ([209.85.208.54]:39364) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjtF-0006jX-KN for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:13:17 -0500 Received: by mail-ed1-f54.google.com with SMTP id b14so33829398edt.6 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:13:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=K8AdM42SCPmRmDmyqtX7FIpzBQ85I1PGt6oJT8w65Ew=; b=Nc0l79bmFe5e2AuJL8ZmcChGzEfmyesVAl69qX1vby7o9FEXH1iyiW1h19nEM9JrmS yRSmKRnv2CiL4GCfCrW1gn+ldZgm6+Awod/jGuJL+Vy+5KjxLq//PRzkjmSjn+co5WE7 ZRJneN7PnNYP2ACHlWD+GfaxJb/slkrjOnMEk+rNKicvuEY9heD+rHFVE1TlzshDjd/J 4ZXEPOWjz3AQT4ljvbRHkFdzrmog07H+nStx7f8d3Lz1dJHte4hsQWo+uVkPlxgjzxn8 a4otNw6bi5wyDOCed5wY5+eGwot9dR6kDW50M7djXPMbWsKS1lqQ445dOzgMLi3C/4wo rFOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=K8AdM42SCPmRmDmyqtX7FIpzBQ85I1PGt6oJT8w65Ew=; b=owxbm8KjfdWwr/QuK2k3Hqm47BWr+0LJCBusYCj183xgnjX6IVHcjwtfpaeS3SGWpm IBOhcN5n4TRy52Jz46U+WiNLr26MFMR78o6VoUm6rBvAbQ1TcY0rKStwMoD3Fr4P8JFB mWflVIGktLsyHdajQN+aIP5VRTXIfWVpkq0Gw3GmIB5WqntGENTD+Z2IMwELGnZTH/Gl 6zLc1CoX2wM9DBeAHuXaLy+L/MCT6Kr0Tqv1jlhztuNIt4kZef2l7mU0nL3q5bvYfARw KWIHGDMQbg+TXGfw9xuJX4tUEtO/RyURbM8XQ6+dFIzSrJo+KuDDcxZ3+/xZImgJArkO rnzg== X-Gm-Message-State: AA+aEWZom0Aoxi3ec/p36meULZb9bnksKyTaf5rh6PP5mjVWTVrRFfOk oHfRO9jzEujVQRnKSl2hzCIm4p3k X-Google-Smtp-Source: AFSGD/WSGnofp6b4ky5TNG8BM78Es21UJ1gNiW4ZVWkzEZBYBX44ZyXVe2KOVYcmm2PiaDYHDxfUCQ== X-Received: by 2002:a50:9a42:: with SMTP id o60mr50571336edb.180.1546686791756; Sat, 05 Jan 2019 03:13:11 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id c23-v6sm16316841ejb.62.2019.01.05.03.13.10 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:13:11 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 7/9] gnu: Add ocaml-stdio. Date: Thu, 3 Jan 2019 10:48:28 +0100 Message-ID: <87d0pb8iih.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-stdio): New variable. =2D-- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 28ae9fd04..209aa66c3 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5300,3 +5300,31 @@ Supported versions are 4.02, 4.03, 4.04, 4.05 and 4.= 06. For each version, there is a snapshot of the parsetree and conversion functions to the next and/or previous version.") (license license:lgpl2.1+))) + +(define-public ocaml-stdio + (package + (name "ocaml-stdio") + (version "0.11.0") + (home-page "https://github.com/janestreet/stdio") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1facajqhvq34g2wrg368y0ajxd6lrj5b3lyzyj0jhdmraxajjcwn")))) + (build-system dune-build-system) + (inputs `(("ocaml-base" ,ocaml-base) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (arguments + '(#:tests? #f)) + (synopsis "Standard IO library for OCaml") + (description + "Stdio implements simple input/output functionalities for OCaml. + +It re-exports the input/output functions of the OCaml standard +libraries using a more consistent API.") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkUYACgkQMbyBBfZZ 1CU0bQ/+LR1I1aXDIHWJk1GI/2y6BmmZifoVmnZw/ZiiHOtWgw9G5BDa0fuGO0EE M75MPP0+9N5lPp3r/5uV3hCPnMe5B+pQacOdYzzsdxZNRyIOnDpV2wBKwm1fN9A4 nNpW2vk5uRZ4q4+ulPlLyL0E+YKHl4COBbPEGfxzsSZdpjz+HDXNPMtgjzwSfURv UtxEPwpiNqVk2mQw3z+hfW9q5haBpbiwKkPjdq3/tVa8piBZphvhLynCkrLGMC8H HswrVehO9kAf8RGDF5sTpLJ8qz8rFacreqw8ZikOrOu44mu8Dh43OKYL6CkxetQa MqZ8rlkR+uJDgG8v0NMeULil+hNsTIYshjetTklAQbh/kOV/dLqZywp7cgcUnar6 SmsMdJigQarmR32XIcgqDTmMUyOI89rFhULGpo3l2/EdU/dsgfKtNoALNYRdhaoB SVr2Szsh2lVtVMameh2KT4HlhJ1swPAa3HZ5XWVApSocmspe5eWNIOOmbkzh7R6J msoMPAw285/7xq/z/snrCN0wBucc7AqkU1GJoU7rK/cc0B6laqlW6jNlOC71csMl JpX9SJibvVVsXNTjnyuTFsx4dWJl21laKKPwF2u5CJtp9FL77yKadnjJfmQuwA+8 QvRpTF2OBtrrUpbRZ4yhQjOnQhK8Z0/hbBSXTSFwbyrQYTeI3uk= =bf4C -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:14:13 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:14:13 +0000 Received: from localhost ([127.0.0.1]:47297 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfju9-0006lV-8H for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:13 -0500 Received: from mail-ed1-f44.google.com ([209.85.208.44]:39944) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfju7-0006lH-A7 for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:11 -0500 Received: by mail-ed1-f44.google.com with SMTP id g22so33815388edr.7 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:14:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=e1uBY+rjpFK37MPLzmNY9cCG21HwPCnxVeteOYjyxT0=; b=N3QEJY4LtnOotKWRyJZ11NNX81R9cWo193KqsyeU4nySWOz4TBCRBlvZYBsPqYCWeX UMzAxEFHzGeEGVdW5vVQTkWhZkk/zermTvF3VQvsa3awghiDPJrNzRV6tRdFT+p14N0z 5W/6Hp1lF7QEm+KalAr0whwa6GMzH6Dp4NrtEVNCl3Mg6ojt0HpJHCVQDqJyLRmMN28O Rc87EzPwONfbQlqx7LseqwNEvXMBsFZLrlwHZUOFMjUsyNlc15KtUZzxAdwWhcDsY5dS mmRMNHf6qhuxtcf77h8nGLTsekumwRGO+Sl/0P6rJO7PkpMZXcAzHuZABz+7ONGta+vA C2jw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=e1uBY+rjpFK37MPLzmNY9cCG21HwPCnxVeteOYjyxT0=; b=jGz6yjvEEAj2isEOMYWQAAR/JMBgVMwZ1Kp+Hg30YFt5hYpMk6QHYlfBv/5egWFhGz 5i/RtoduZ8WYBQTdErKxGT4YzJEoOCxEVFFvbV2D0tQCOhKvMHy542QdeUhaFy0UwM7B 66wPfeF+waYt/b6lZwBT5NER+X3NVT1ALl+H8AAvMTu/1EjMCeCJ0fzKZnE4mTbzMBfu ZFpygXWyMzCj5XCxAu86DtV361n3n7UflZUDKfLI2DpCbLGwvNHlxZdttb0161wKlIL7 mY2g/LiEfu5CrVR6KEoornS2d0yUeHPQNCmrPsFtCJYQXj4qdxotNm5recG24wVcvEpY 0jFQ== X-Gm-Message-State: AA+aEWbNHwOaUV90wIjyiH37CTA1V3qho/nrdFHYPDQkE2SQ8LEOK7KA uUier/dTwzwynNWH9T6NyOGLt3uo X-Google-Smtp-Source: AFSGD/V+M5oS2PQjTAlI2q8Vt4dc5WGuNcRGujK/TayKIJLRbFC8bt3lcJOSqQ6H98Tx4Pq7zEOR2A== X-Received: by 2002:aa7:d394:: with SMTP id x20mr48719836edq.193.1546686845470; Sat, 05 Jan 2019 03:14:05 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id t24sm26711595edb.7.2019.01.05.03.14.04 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:14:04 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 8/9] gnu: Add ocaml-ppx-derivers. Date: Thu, 3 Jan 2019 10:59:52 +0100 Message-ID: <87bm4v8igz.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-ppx-derivers): New variable. =2D-- gnu/packages/ocaml.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 209aa66c3..3607dc319 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5328,3 +5328,29 @@ and/or previous version.") It re-exports the input/output functions of the OCaml standard libraries using a more consistent API.") (license license:expat))) + +(define-public ocaml-ppx-derivers + (package + (name "ocaml-ppx-derivers") + (version "1.2") + (home-page + "https://github.com/ocaml-ppx/ppx_derivers") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0bnhihl1w31as5w2czly1v3d6pbir9inmgsjg2cj6aaj9v1dzd85")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) + (synopsis "Shared [@@deriving] plugin registry") + (description + "Ppx_derivers is a tiny package whose sole purpose is to allow +ppx_deriving and ppx_type_conv to inter-operate gracefully when linked +as part of the same ocaml-migrate-parsetree driver.") + (license license:bsd-3))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkXwACgkQMbyBBfZZ 1CV8vBAAmg8wlGsXqyXsYdo5DZfmus4SpEMFN1HErcGjJst8aR8BvbyXyaDfq3ZS oAHLf1WE+cbg7DgcmhaZkmCM8Qy5fHvux3gQlXPuTtk9gWdYkz815otFGX7NTrzS mDNl9uhglO7dNLHrAj6Tngfzgyudq2jFW/Dpt4Rmlg3WS6RUmMwXsZfJE7pN4kug PrOWG3AaRBlFIaeeGzNJMFRex1x1+aOc6cUYvwTvREnMk8bj94WNNomzfUP/O8Ir 8W0Fnj03LWS4UsHh4gR3v9iMSjsfZzz6CRbEU70CDbl9aEPWiZboTBy/4MqukX9/ 3cbgypTcm+1QD9D7GaI9+1+li8COw/NihMwsFxgdEJ+WX14KlcScsfHF2l0iZItK RiLc8htNQ9tC++wSMgLqjU0OojEtpxAtaAEWWAaWR65wCGr8mluOuAAcdfqvHDY4 1bek39PJS7isVzGMI/zQKd8iHr2/N53fLnROMdtolETKLJoSZKiqTUJf6gKV1sdd Qu3Eombk8V+ThfGOSvEDHVxv4E/EDstBgWkDtRwH8kfHVIGKz7pjyRrCeVwRSCEX i9tECtn4jIoCGtydWt/M8MQGedqBzs6yyEkWBopQO9ZkGK/wHIFHzRwOaGhR5PBZ 5jPOubpCY5hVqVLZiGI5GKAgMwaVun5ewPN1UWPgZjifiefU3G8= =MZFz -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 06:14:55 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 11:14:56 +0000 Received: from localhost ([127.0.0.1]:47300 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjup-0006mQ-JX for submit@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:55 -0500 Received: from mail-ed1-f46.google.com ([209.85.208.46]:36782) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfjun-0006mD-6O for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 06:14:53 -0500 Received: by mail-ed1-f46.google.com with SMTP id f23so33867782edb.3 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 03:14:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=DpplMt3K+I7nzF/7lybUhw3ycJOei9k962+tmZzrRkM=; b=lliFER9hBvqT8Aqg9GMfBlwHo/U8wo66a4xLIvpUtaEswwM13//m/IIL1LNtHGrWkD tt1FUc2zytmv+wNem2vmDo5/iEEcaE2rjX54gt5L/lJtWzVhyshUA7J2f+041oyR9WO+ p8wh2GVTALF6P0qAXFPViDzNJQAUez8if2/0TCyTs/pBoxHTz6dmQucPmw6zXxrVZT+O jsqkjBsOUKxfAdaHaYjZJEB6EYta11hLVK7xHbC+DqAhH3cBNiqggUw8aIeenl6XQulO OgHLlHUpVL5K8NPm07TEXGRBaSDrkbwH7Lkc5iPeqrNPX1aNxpu/NUpoiJw09O9qMWAU w1rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=DpplMt3K+I7nzF/7lybUhw3ycJOei9k962+tmZzrRkM=; b=uW/XpvDkvNhhAdEsnKe4r1xX23mUNLRj6bVcER1UVkV92mi7aX92uq21ziDxpvnYos MJk8CQ2JsLTak4UhNLv5qnAj3muXZOEb/CseJgTIjoWzTV1Z+6nF+dsqzLkHFeE67v0t mgeC4uyj2rteXnR72u1fLCcq6l53nlO1rR1h608tJ9DjiKBdsP+PncNb7BoC1iOuUWIk sZg5fDnc8lUANPQ76ataYeF/nSsonHUKd17TiMlQLUXkdMetzbJD9Ei4KlJ7IlShAcjc Y27BSYmq7r4YKvV184pNMUgKl8B5tJtjeg1aQReCeks4VKtuZGlXkfSs1Srw0LuuWbh5 BQGQ== X-Gm-Message-State: AA+aEWYL/skKGxigFHY5LCj/G73GV4E0glTMWwOldhhlhhQNLGMJk4Fo ZYowf6hbXCOgHS/bjQo4xclnqjLV X-Google-Smtp-Source: AFSGD/XEQaag7Yw4JEzjhl1NEH3z86DbVrOQb9bxGTYcIKAoIjHchiWbGO1spVc8N8GYcX8HEujjfg== X-Received: by 2002:a17:906:b7d1:: with SMTP id fy17-v6mr41297684ejb.70.1546686887214; Sat, 05 Jan 2019 03:14:47 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id e35sm26781465eda.13.2019.01.05.03.14.46 for <33986@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 03:14:46 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: 33986@debbugs.gnu.org Subject: [PATCH 9/9] gnu: Add ocaml-ppxlib. Date: Fri, 4 Jan 2019 10:09:12 +0100 Message-ID: <87a7kf8ift.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.5 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.5 (/) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-ppxlib): New variable. =2D-- gnu/packages/ocaml.scm | 66 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3607dc319..70dcf1bd7 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5354,3 +5354,69 @@ libraries using a more consistent API.") ppx_deriving and ppx_type_conv to inter-operate gracefully when linked as part of the same ocaml-migrate-parsetree driver.") (license license:bsd-3))) + +(define-public ocaml-ppxlib + (package + (name "ocaml-ppxlib") + (version "0.4.0") + (home-page "https://github.com/ocaml-ppx/ppxlib") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1nr4igf5m4prvigvv470dnhfdhdw0p6hz6zw8gnm5bzcv7s2lg5l")))) + (build-system dune-build-system) + (inputs + `(("ocaml-base" ,ocaml-base) + ("ocaml-compiler-libs" ,ocaml-compiler-libs) + ("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree) + ("ocaml-ppx-derivers" ,ocaml-ppx-derivers) + ("ocaml-stdio" ,ocaml-stdio) + ("ocaml-result" ,ocaml-result) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (native-inputs + `(("ocaml-findlib" ,ocaml-findlib))) + (arguments + '(#:phases + (modify-phases %standard-phases + (add-before 'check 'set-topfind + (lambda* (#:key inputs #:allow-other-keys) + ;; add the line #directory ".." at the top of each file + ;; using #use "topfind";; to be able to find topfind + (let* ((findlib-path (assoc-ref inputs "ocaml-findlib")) + (findlib-libdir + (string-append findlib-path "/lib/ocaml/site-lib"))) + (substitute* '("test/base/test.ml" + "test/deriving/test.ml" + "test/driver/attributes/test.ml" + "test/driver/non-compressible-suffix/test.ml" + "test/driver/transformations/test.ml") + (("#use \"topfind\";;" all) + (string-append "#directory \"" findlib-libdir "\"\n" + all)))) + #t))))) + (synopsis + "Base library and tools for ppx rewriters") + (description + "A comprehensive toolbox for ppx development. It features: +@itemize +@item +a OCaml AST / parser / pretty-printer snapshot, to create a full frontend +independent of the version of OCaml; +@item +a library for library for ppx rewriters in general, and type-driven code +generators in particular; +@item +a feature-full driver for OCaml AST transformers; +@item +a quotation mechanism allowing to write values representing the +OCaml AST in the OCaml syntax; +@item +a generator of open recursion classes from type definitions. +@end itemize") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwwkaYACgkQMbyBBfZZ 1CU1OA/+OiENLrXVOZu5XLFoaBd9tHXVc7wDwB8WmW+YknjdaXzuX7XFBOjcVcK4 ITtNusN8oRkSlWVCwjjxtEgoVhySwWdOHX6Pxh41CzmojeMhVIzFK5/QNrnDgkOO CNH8TY2qYTnerXy5i2YsOO3IFXLZS05ovYvpnDJgqVN/v81qZRLwlbOrcMhE/fMh dFgd1R4ZFvCVgqLD9aWg8Bn+slTXL8gt24jAuDifRRxDQnDcWQp02ZV+TTlolwEo DH3395c4o7PGgP8OdJ500+Y248TxFtvdxIvmMpQEGs95ivSSWbcZCWbZcNrNun87 yPU5AWMC4GOONtAfmsxupWT+hr0+mA6Dewcy09XinIxrDoWrgUWc/OnQsbYpvxYI awniHZGBL6zTTcgmKxHJhVttQQsvNy05UIyEKC9dk2OsH4yNVeGMJBYm9o6aQ174 dYJQ0YhpnMulQrTNElojEnP8IPSuv1QKgdKmrk+0ClXvxIqjwwjcJ3nxMLL4jjrT EYfn70r0859xIReYfVZjCqQ1rViLhDV64dRMZU5j8XHZBVYoaS6KuLw6ZhPOB01/ eANfJnrHv1LWvLtpEoj/GOXLICnFQGsD4ZUkHKVKP564ZrMEU+bjIUG4r6z+sXF/ RSIV6So5goKHT80S4wtY1zErx2W8hpJF1xw62a0vqCFbDRlAzeQ= =aK02 -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 08:22:16 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 13:22:16 +0000 Received: from localhost ([127.0.0.1]:47347 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gflu3-0003gX-TL for submit@debbugs.gnu.org; Sat, 05 Jan 2019 08:22:16 -0500 Received: from lepiller.eu ([89.234.186.109]:45840) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gflu0-0003gL-Tf for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 08:22:13 -0500 Received: from [192.168.1.6] (197.241.8.152 [197.241.8.152]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 312f76f2 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 5 Jan 2019 13:18:24 +0000 (UTC) Date: Sat, 05 Jan 2019 16:22:02 +0300 User-Agent: K-9 Mail for Android In-Reply-To: <87lg3z8nc2.fsf@gmail.com> References: <87lg3z8nc2.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [bug#33986] [PATCH 1/9] gnu: Add ocaml-sexplib0. To: Gabriel Hondet ,33986@debbugs.gnu.org From: Julien Lepiller Message-ID: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Le 3 janvier 2019 10:18:32 GMT+03:00, Gabriel Hondet a =C3=A9crit : > >* gnu/packages/ocaml=2Escm (ocaml-sexplib0): New variable=2E >--- > gnu/packages/ocaml=2Escm | 25 +++++++++++++++++++++++++ > 1 file changed, 25 insertions(+) > >diff --git a/gnu/packages/ocaml=2Escm b/gnu/packages/ocaml=2Escm >index e4f17133d=2E=2Ebece14477 100644 >--- a/gnu/packages/ocaml=2Escm >+++ b/gnu/packages/ocaml=2Escm >@@ -5105,3 +5105,28 @@ speedup, polymorphic variants and optional >syntax for tuples and variants=2E >yojson package=2E The program @code{atdgen} can be used to derive >OCaml-JSON > serializers and deserializers from type definitions=2E") > (license license:bsd-3))) >+ >+(define-public ocaml-sexplib0 >+ (package >+ (name "ocaml-sexplib0") >+ (version "0=2E11=2E0") >+ (home-page "https://github=2Ecom/janestreet/sexplib0") >+ (source >+ (origin >+ (method git-fetch) >+ (uri (git-reference >+ (url (string-append home-page "=2Egit")) >+ (commit (string-append "v" version)))) >+ (file-name (git-file-name name version)) >+ (sha256 >+ (base32 >+ "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi")))) >+ (build-system dune-build-system) >+ (arguments >+ '(#:tests? #f)) >+ (synopsis "Library containing the definition of S-expressions and >some >+base converters") >+ (description "Part of Jane Street's Core library The Core suite of >+libraries is an industrial strength alternative to OCaml's standard >library >+that was developed by Jane Street, the largest industrial user of >OCaml=2E") >+(license license:expat))) Hi Gabriel, thank you for these patches! I'll need a bit more time to revi= ew them because I'm travelling=2E We already have them, but I think they ar= e only for ocaml-4=2E02=2E In the meantime, could you add a comment to explain why you disabled tests= whenever you did? It could be as short as "; no tests"=2E Also, do you kno= w what happened with the versionning? From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 11:37:05 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:37:05 +0000 Received: from localhost ([127.0.0.1]:48016 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfowb-00024i-CI for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:37:05 -0500 Received: from mail-ed1-f46.google.com ([209.85.208.46]:38820) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfowa-00024F-6C for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:37:04 -0500 Received: by mail-ed1-f46.google.com with SMTP id h50so34302597ede.5 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:37:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=GT92OW2tlhSnl1p5brjUEE04zeENE2RtPze7CougTzE=; b=XaWok+heb8OqY3FjXOWLiAGI0YvsGCHDszArna/WQRmZwOZjgCw2waLc+KYd2rwYCw RJgC+HtrZRbqYNN5Y9EOkOehIrNmPNg0/NP2uyheQSQl79PCwiFd/1h3238tj/crDZ4z z9SEUt97FN1//Kwc8OukXQiYYk/7q0YAdq4TpXWh74FhjqHQWLLbLK1PSXna0GxK3ias vBI+VzUccgfqmfEfm+/U3ZX5K4IntPXL4egvAGBPepRpWyqeCK2pgQvL1Xy5femG33SY Ca3FymIeStC56XKpg441BD/wKz0Jk4fJ0iq6N7VQ4qqCIQEyg3aBSWDwfN5fYiyv+dK4 mLJw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=GT92OW2tlhSnl1p5brjUEE04zeENE2RtPze7CougTzE=; b=E8xzS6YhRXqP9uRVS3x24MJ0g00JJZLa5BykIDWYpxONX3eHqjpEOClLVtxwNskTpZ O7boXetW0SlfgHyVjQGQx0iootSx1GWeg7G/GtHZKTgbJhJ16T/Fbvm+pMUVfy5ZpKQc 8xTC4KPaSmbt40Mzfb0wXX7dwb1yNfTA61RLNuCqFUK/jmN2eXr7U6MxWgET/pKbJnZx +H9Ij4EnV13TnxRsXNSYkklNbsd6iI5QYJY0xnHx0D65Xf7j1NT/SFJ09x8+DZA/SCOC t0Bfpffy6QD2Iz1jx2kQJ/57z1AsAFEjXh+hkU3C5QRiV3W5cmIyyd1/nRBtF3MicjA4 ZkpA== X-Gm-Message-State: AA+aEWaJr1HCwSrwWk+EfkpP44dfEMHPwZzshlHHElNOR9CfSJame8NE y2y1G5IOSISyqSaJ9qWsbdjff9a6 X-Google-Smtp-Source: AFSGD/UcaTvSwg002MTBfd/oHIoI39b+LHIYKtahKgP1w6MKF62tBUZ1jFhf43zEujuBdWi7WWJTeg== X-Received: by 2002:a05:6402:796:: with SMTP id d22mr51402071edy.81.1546706218255; Sat, 05 Jan 2019 08:36:58 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id w24-v6sm16473874eja.71.2019.01.05.08.36.57 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:36:57 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: Julien Lepiller Subject: Re: [bug#33986] [PATCH 1/9] gnu: Add ocaml-sexplib0. In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:36:56 +0100 Message-ID: <877efj83iv.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 Cc: 33986@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On Sat 05 Jan 2019 at 14:22 Julien Lepiller wrote: > We already have them, but I think they are only for ocaml-4.02. Indeed they exist but only for ocaml-4.02, I hope doing new patches for the current version was the right thing to do. > In the meantime, could you add a comment to explain why you disabled test= s whenever you did? It could be as short as "; no tests". Also, do you know= what happened with the versionning? Regarding the test, I only disabled them if they don't exist. I have added comments to clarify that. Regarding the versioning number (113.33.xx in 2016 to 0.9.0 in 2017...), I have no idea what happened. Here is the first patch, the others are following. * gnu/packages/ocaml.scm (ocaml-sexplib0): New variable. =2D-- gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e4f17133d..a23f6a724 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5105,3 +5105,28 @@ speedup, polymorphic variants and optional syntax fo= r tuples and variants. yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) + +(define-public ocaml-sexplib0 + (package + (name "ocaml-sexplib0") + (version "0.11.0") + (home-page "https://github.com/janestreet/sexplib0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "07v3ggyss7xhfv14bjk1n87sr42iqwj4cgjiv2lcdfkqk49i2bmi")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) ;no tests + (synopsis "Library containing the definition of S-expressions and some +base converters") + (description "Part of Jane Street's Core library The Core suite of +libraries is an industrial strength alternative to OCaml's standard library +that was developed by Jane Street, the largest industrial user of OCaml.") +(license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlww3SgACgkQMbyBBfZZ 1CXFRw//Ul5lJmc6dxRl2Fi8Z7EEAY2VnsL6PXcn4SpkRawqluh1gU+F2OiTM3iA m/qQyWzbqYS8pLFAuN3nB5mWV2mLN/FPTEZyZ4J+c7ul9m3iqTyZj09ak9q5e6Ha cbyhiYT8kN7Ov7Td5mjVT0d/xniuCk6hpVR94whDTVYS07F33SBtCbEK70dOHx6d er3tb1xShqyJJUZ604lk4sZazQw2itoY3QJmhhw1FRP85RaFSO42G0PoIWN/+TJA YpUUDvBrhth1ulzOjcVfJiCt4ceJVTQnJcOTP0fYo0GgXahkHBXX9WwgLPY+WHtw ZcIpOxDT5kFdG5VcdqohPkLqgqtOYfPIVD0ntrG7WswOYf8FLXfAlh8um1ZMacor 9AVewaatrfXiNvMSRTPxrr/Xg657uZ/xLn8MdV5Ey58sZ8QzGGnBZrcmby/KYqWO LHNoJcMhsn+scw710yfsP8W4nwqZx8gWkS+0Y31obxoZ7vYEvvO24PVWVY/rzA1G 1N3ch7uF0UR4OsGw8pWlwdxWvsZHakdithZwq6r4dbcOofjITwPn3tX3Eg+ZMCUp nGapSCR+iL/hHxkC4OW1h9E+1nTkpzsTDw9Zqbh7zewt+OLoBrdFzIkVOX7eGPYD l5rUlwc++pWGvmStlMRE/QeanABe5Y3tomMV07+4zSLdLZsoEYA= =y1No -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 11:38:26 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:38:26 +0000 Received: from localhost ([127.0.0.1]:48019 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfoxs-00026t-Oj for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:38:26 -0500 Received: from mail-ed1-f45.google.com ([209.85.208.45]:42231) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfoxr-00026e-4d for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:38:23 -0500 Received: by mail-ed1-f45.google.com with SMTP id y20so34256865edw.9 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:38:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=WUH5mzZiJ8d2yWDgJYS9cKSWjPRo+8oHmGr9a8UIwS4=; b=RnwocHM6P9tLpmAdUeHcqTN4shTngo9ptlqHG10HMBj0T0mNn97fO5uk9EHghPZEZg efOORKjyerBBMnxowVWUqJgJ7OWdkJ2A+YgMaOauBmj2CzG7I+7FIxXr5YHhF8kfogEm 2eKq5dkysbhUP4DpYjmjVP/BEBXWAHD4tCmjtAar8NQbqbMc1hWv2YqtX1zeLSar8mMn 2A7oQdFN2EwyoR0A7tIEzu2rCVxfgq8bAlIndrTtio+qTHM7+YTVnecD2Efy4f9tTDfy wQKzBDLd3ZWrXa9v8Sp5VRYcI+SPAYrZnO8oDEKv8K4A2BFt6FQnHgextnM6pG9W4sSq WEFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=WUH5mzZiJ8d2yWDgJYS9cKSWjPRo+8oHmGr9a8UIwS4=; b=TRsROfBz/vr74a/fgrR/TefduaupxySMAgrf+bArifljL9WBx6JlUQdqV3oWBKU3Yq 2QYsMyuhUw3CKgwaShnCGoFpibCUBLQUk147+HXILaLjhddj1spZJrWAb4pL+iiOFbm3 K9taKtB/Aj+ADWDF+ihPG10MRgY8dpyP70emCF7ijnAt3FSBCSMMJQrR+mX++YxeYj8a I+e3AFLe8JrsOJ5h4m7U8fVlNanLInM8gfCcaMu5bL8YQSVdTSV1HcLMZtatlsBMZ/VO OmjpL7tYW+A6JEAwH7m68VbvGcklWmmCPYWIjOWylCZ7HcEh4PzY+peFZ5nVfL/gB9qU /LFw== X-Gm-Message-State: AA+aEWZ35u8Z+0FTKebwsj+F0Uex4fuaIGXMtdxmSzoCKKAOyz4a4m7R Tn9VuFOL9YrbqKnhIb+bVejHhWZM X-Google-Smtp-Source: AFSGD/X8YNvdOGjsmdLPtCveNrZfUcVKh5ri0D36WaSlOKkI9ghLDjyZ2dpl3cLtiPZIMZ4IwQ1NyQ== X-Received: by 2002:a50:93c5:: with SMTP id o63mr48984973eda.20.1546706297285; Sat, 05 Jan 2019 08:38:17 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id by5-v6sm15969348ejb.7.2019.01.05.08.38.16 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:38:16 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: Julien Lepiller Subject: Re: [bug#33986] [PATCH 5/9] gnu: Add ocaml-sexplib0. In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:38:15 +0100 Message-ID: <875zv383go.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986 Cc: 33986@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-compiler-libs): New variable. =2D-- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c52cd76a3..820e87f22 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5247,3 +5247,26 @@ provided by companion libraries such as @url{https://github.com/janestreet/stdio, stdio}.") (license license:expat))) =20 +(define-public ocaml-compiler-libs + (package + (name "ocaml-compiler-libs") + (version "0.11.0") + (home-page "https://github.com/janestreet/ocaml-compiler-libs") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "03jds7bszh8wwpfwxb3dg0gyr1j1872wxwx1xqhry5ir0i84bg0s")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) ;no tests + (synopsis "Compiler libraries repackaged") + (description "This packaeg simply repackages the OCaml compiler librar= ies +so they don't expose everything at toplevel. For instance, @code{Ast_help= er} +is now @code{Ocaml_common.Ast_helper}.") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlww3XcACgkQMbyBBfZZ 1CURpg//asmZNOzTmByvVEbuZ4Nz8jao4C5a4obDUvkaYQQ+BmLzt/tHFmX2HRBR PbziY5iZWxqg255SISCYvHU8rgfbBttl5JPC2zwK2EN5wKHgGOiyCllUfbziz+lb Mzay2qUTUNEzw0RThu24tph6UIweqhb9E0mUS4m+zIwtjHoQdRErWURZY+pnXvD0 xhdj1NigAe/eeCicXeP3enSSmrvLnAPcz0oBBmkCrnpExBFg5OPhBpKNoK3Kyv26 2ieoU1chr1tAVmAUUfwc5Fcai0vz/pDGlB3viC4Y53Lwz2cTOiVC56HwY6fVZtbJ 85wd/HAHs1JL9eKiyqyol/Mo83wtlUkMbkeOplHp5eLsYa1kOhVWz52jmrpyJE6N BLHCBFfP9Rxq2DSLMcAnOjn5NnSr/6glaC45SjyOW5WiL5pOr6zTIs+KsIR8hf/G Ujhgn2Ws5ZpT1E/v7I2lESZSRC7NsNcLoidIwyu4qYbDv5AplhbScs3sq4G2u5GF p7ZBu5KM4HLk7ydprQavpulD4OMTLkdRvQrM++7wJ//szMRnsO9cbFCAYKzUWRc9 DcBTDQuJ2GST73HuIIRLWS/cmjrRooShDhPTkNtGiB7Za7yKNI0gqnyYQmAhBuYC kJU/Gxhiz2UpHvIGaIdOpsQ3RPf8sIrz9yalIabT8IEqs3359ko= =1LP9 -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 11:39:50 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:39:50 +0000 Received: from localhost ([127.0.0.1]:48022 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfozG-000298-AZ for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:39:50 -0500 Received: from mail-ed1-f43.google.com ([209.85.208.43]:33207) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfozE-00028p-DA for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:39:48 -0500 Received: by mail-ed1-f43.google.com with SMTP id p6so34374955eds.0 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:39:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=PgbfP1MtTzIsjhA+QdAJgHz7Zb9cB4DN0iGjCc2hVWQ=; b=AHq0FMFYMKJrpp32aIFLcZ9ofoDV/sIjVMgl+bdbSzMqPJ1fZMWYwZjxdXI2a0S/VV pot8Jp9vYF5vM9OpHP4wydrdj4a5AEiHK6BQaLHiQDjrl4HmqkFXLU4+sSS+ojYJLVov RGTbDsCtXaQnj4TcnNl8MMj68gJszq+JLijW6g+9CXXJvHl+2FaO9DQSIk1aFAAwkyoF j3JAe+njZrPfMuUb4FfCxUdzbrR4CxmugmI1f4T72Jm4FlgB0u75REj/e00HA4Bf4rvR pj0/ry4cjBLyIt7HKx7TIxpqtQ30KjhIwV1uSh4vJr+jsdILDRdsSX1/Efrp2I2VcvOr M1Nw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=PgbfP1MtTzIsjhA+QdAJgHz7Zb9cB4DN0iGjCc2hVWQ=; b=ZIT7cdOmH6r+j1RhnqZF5O1uVCLR73RAo3H+qB+GfEw/L9xhVWyQEiv+A9HlYhmWqc D3HYWKq2yyX3jLhMrXZaXOwR1sTV5Pz4t/pWprIDFNKj8Sbmlao32Jjk4zP4D8C3v7Ce DDNBNxZTtfHO1EqCPK4drSZ45WlM+ok7OOJzUua43L14tsE7s2hd0rLCHRf2JxL2J1UY OYiKqKRE/lN2a4+CMf/qLPfDBSxcSU9V2RXtXUN/oJ4qYrOtYLt2qU1ZUsTRTl0OgyZJ 3a/3fTFP2NWk9llEJoxbF4X9W4K+W1KH65Ajuh6qC1IGblokTAiNtCvNZS7Ug/hWapCm 1A3Q== X-Gm-Message-State: AA+aEWZOmoLpzydvF98QyWXdaRiVSxiNYF4Ox3jBCtglLTcl+qaDD5tz X7M5PNGSWmWlliCqUQMEoxN9mK4i X-Google-Smtp-Source: AFSGD/VrJFKzrM4am9tNV1z0/blfv9kuLS6tQMnEHonQ9+67JMOPnHZKw8SEgCAgeSC9d6H17Oj6wQ== X-Received: by 2002:a50:8e95:: with SMTP id w21mr48337269edw.198.1546706382504; Sat, 05 Jan 2019 08:39:42 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id ga24-v6sm16152736ejb.72.2019.01.05.08.39.41 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:39:41 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: Julien Lepiller Subject: Re: [bug#33986] [PATCH 7/9] gnu: Add ocaml-sexplib0. In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:39:41 +0100 Message-ID: <874lan83ea.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 33986 Cc: 33986@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-stdio): New variable. =2D-- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index bce2f4f13..dddad4f33 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5300,3 +5300,31 @@ Supported versions are 4.02, 4.03, 4.04, 4.05 and 4.= 06. For each version, there is a snapshot of the parsetree and conversion functions to the next and/or previous version.") (license license:lgpl2.1+))) + +(define-public ocaml-stdio + (package + (name "ocaml-stdio") + (version "0.11.0") + (home-page "https://github.com/janestreet/stdio") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1facajqhvq34g2wrg368y0ajxd6lrj5b3lyzyj0jhdmraxajjcwn")))) + (build-system dune-build-system) + (inputs `(("ocaml-base" ,ocaml-base) + ("ocaml-sexplib0" ,ocaml-sexplib0))) + (arguments + '(#:tests? #f)) ;no tests + (synopsis "Standard IO library for OCaml") + (description + "Stdio implements simple input/output functionalities for OCaml. + +It re-exports the input/output functions of the OCaml standard +libraries using a more consistent API.") + (license license:expat))) =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlww3c0ACgkQMbyBBfZZ 1CWb7w/8CYW8mrcFrBLOcwMD2G3yWBOtb+63rRokQ9+G2x0tl5i+ksipRVdAkS0P jbameF2RGpSvGahMRuwBIeIND/SKXCwsT9Rx7guIahg4y1RijP6oJpx34BAi3DTF 6N8Ihgor/Kaw/96yybKTzyG409EfWHV73lE4+RjEuK0p6erRp4rb99BTQ3SVKtUO GTxquw1TaWamIt6dE3977b7HRBwNnDb8wB/WPxoDkZOPt3nG6EcB4STOk5vgJBCE 6hzVhCC22D09CooGDbAmpaFuBvbmvy3tMiDk0VZ4XRuUR9gyhCOJoZANuLCDOFwZ 6X2o0Z4fZmby/UiY16qJsGUVcZaQFcetGxEhthknvvA4RBIKSXJZWY3SdkQ3AO6j 0y8mniVTwB8XggHwyJ8U3GJB5xZ9KknGTtmTD5YGtnrbAK9mnlCy2Ft5D8S9huJj cHR7hizPkBbX30ANHJgnKeIoPz2SywoQLIrTuBRrKA9uneOzCRwJxI8fgztB9IkN 30VyZX6EdLFlKBqkoG2apS8cd9ytynm1U5EXc11j5VNY/Y+u8kERg42fzHydpJ1h UOEei9fL/7e7gGPBNtOHax1Hh29Xa2ZqwTv4ge3hnHGVSP7REvn6YkYTHLN+VyMD F+Hzc0FwkBR+6mDgo6VD1ftGlEpMYEO8pdLz797+MRCdjQCEvFs= =3MJs -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 05 11:44:39 2019 Received: (at 33986) by debbugs.gnu.org; 5 Jan 2019 16:44:39 +0000 Received: from localhost ([127.0.0.1]:48027 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfp3v-0002GY-1z for submit@debbugs.gnu.org; Sat, 05 Jan 2019 11:44:39 -0500 Received: from mail-ed1-f65.google.com ([209.85.208.65]:33837) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gfp3t-0002GM-DH for 33986@debbugs.gnu.org; Sat, 05 Jan 2019 11:44:37 -0500 Received: by mail-ed1-f65.google.com with SMTP id b3so34398025ede.1 for <33986@debbugs.gnu.org>; Sat, 05 Jan 2019 08:44:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=xI4Q6eM6KvzaNLVQCrZgWZzMeO+ADiyXKXWtLDlvRFM=; b=WIH2kHGeko3zKEsD8qhRIdHESkZiRixntCyLe0MF+0nQUPIVyWwDmxLaV/wM6PXDvS M4PLWP36HibaTVP7Tb55vAuNyiTjyRAUrY4NEsBMMSV5KcIOz5LfK3jncMoCzIJD+1UM sn6Q81DBEtY8fllp2qamWTn75hKVYa4ay+D4uq88j8oJQ9MEl0sxQvSwP1PQQWOiVw2l Axtx5wc2AFoKR9/mMM+0LOjt9gqi08oDhJSkxNUrtjv8jrFi6c/TOj2hxJYhXWgw2LcN UhT4IMzl7oWT+gLCGGfHWXWF01E41O2j4xWqH+fVAQBDJai6x3BFiM05puz9GO4XF9Wb lePA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=xI4Q6eM6KvzaNLVQCrZgWZzMeO+ADiyXKXWtLDlvRFM=; b=oOJAToNnExKLzp/TlnRmV1YwCJebZXv7DWaQSxB8Ij9MX/45SWmpEvueCWG3nEr4bg 3OIDg3IYrDDoY4PJwoxl0cnwnGKecya29v2RDvBcenpc/yE0MkHUayzjvSaPWiZSRDEy j2fDZ4FTXfkmplnVvPDVu/MxY6Ue32nbPY5mJRnRoKGArkDip1mtH89WuZ1crOjS91hs F7457+bLEHcR3zXYQ5PnCiYrrrCcrJUX5eD5gwvrkxjm59/69gpAk9V+P/VV41H2R+Ar uEisvISTySU2bzgKTNTHkpYzWuSFZFxnuaEVn4Laa0GqGxKnx8RJuYWA3o+ToqcAc4Nn qzXw== X-Gm-Message-State: AJcUukdnKxyaQUK2YCXkNGNNIRj7DHaQsAvQTVEQ3jt3rkFTuFil0EVV BktVR2FC39Pl31pZFQ41vkEitJNe X-Google-Smtp-Source: ALg8bN44gK3CExSSNCUSXgZ5A3dESO6AzppARPXoOhvAi39Q7+eHPadJ++U89YIaRi1b8BHnWAD8AQ== X-Received: by 2002:aa7:ca0d:: with SMTP id y13mr38346652eds.285.1546706671453; Sat, 05 Jan 2019 08:44:31 -0800 (PST) Received: from glht-x240.gmail.com (2a01cb04062c860044e3e8429e102378.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:44e3:e842:9e10:2378]) by smtp.gmail.com with ESMTPSA id h51sm33652486edh.17.2019.01.05.08.44.30 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 08:44:30 -0800 (PST) References: <87lg3z8nc2.fsf@gmail.com> <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: Julien Lepiller Subject: Re: [bug#33986] [PATCH 8/9] gnu: Add ocaml-ppx-derivers. In-reply-to: <6B48181E-452B-4D22-80B1-DAECAE104B48@lepiller.eu> Date: Sat, 05 Jan 2019 17:44:30 +0100 Message-ID: <8736q78369.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 33986 Cc: 33986@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable * gnu/packages/ocaml.scm (ocaml-ppx-derivers): New variable. =2D-- gnu/packages/ocaml.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index dddad4f33..04b6dea8f 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5328,3 +5328,29 @@ and/or previous version.") It re-exports the input/output functions of the OCaml standard libraries using a more consistent API.") (license license:expat))) + +(define-public ocaml-ppx-derivers + (package + (name "ocaml-ppx-derivers") + (version "1.2") + (home-page + "https://github.com/ocaml-ppx/ppx_derivers") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0bnhihl1w31as5w2czly1v3d6pbir9inmgsjg2cj6aaj9v1dzd85")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) ;no tests + (synopsis "Shared [@@deriving] plugin registry") + (description + "Ppx_derivers is a tiny package whose sole purpose is to allow +ppx_deriving and ppx_type_conv to inter-operate gracefully when linked +as part of the same ocaml-migrate-parsetree driver.") + (license license:bsd-3))) =2D-=20 2.20.1 This is the last one. And forgive me for the misleading subjects of the previous patches, it should have been + Re: [bug#33986] [PATCH 5/9] gnu: Add ocaml-compiler-libs + Re: [bug#33986] [PATCH 7/9] gnu: Add ocaml-stdio =20=20 Thank you! Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlww3u4ACgkQMbyBBfZZ 1CXE6A//dhh+GLKGz/GNRCXPexsU8qk+xAH899ln/ahD4n+/ZQFSzzRWRCXTgyar BiH5dXOsRJOQYxCN0cumBQntiYCDrQzv2jgLFxpcT/dmdEh/C/Cb5+UvUxyZ91n+ I4WrF+PSEKVUeSW4D3FuTKvErtYdjPp5fDUfchUiOEr2jU+/bVq1PsYVFehGbgjQ wsikyQT5CQ5iYSz+/xawMHK+7JEScgCX7uBcdsP0TPAJ52G7ee8vEIFiO7QSPoEG i2XGDdJrT8Ul1PtJ8qVPOB/4htJoutlrIb4ySCQs1H3trTXjavusmivypcSt8P23 lkjr9dkdN5S3Lh7/rqjbmxlei8Cz8fnSatfQL2gNbuFWVSpcLvVo1i/SLjgrkPTj 1jhMExa+m30Zz8eUH3cjby0dFyEPlO2gq6hkx8BL0RLdoC/4/AQwTZbKC8W+zcRQ pl0/YKe69xRva6nOX8f4FHQ/yk+ZMNmN2H5Uc3xvfTWv8DoesLRZcP/YUFDYZMQ3 w4plz2d+xCICQdb82NGtTQQg513hG4EwGnGkUuKEKuGJO+ZI0HKqpQA2WUZbxfbq exnlA7oSeOUBNBfsW+UXlS0T++MphYWpNqdqtupz05sEDsDkuRsB+Jjfih1b2r1i R/Z4tv5LpOXaFErzEk59McLxxCLKn8io18THFrqcfeSxRb3mjl8= =ftXK -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 16 14:11:49 2019 Received: (at 33986-done) by debbugs.gnu.org; 16 Jan 2019 19:11:49 +0000 Received: from localhost ([127.0.0.1]:33880 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gjqbN-0003A4-D2 for submit@debbugs.gnu.org; Wed, 16 Jan 2019 14:11:49 -0500 Received: from lepiller.eu ([89.234.186.109]:50584) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gjqbI-00039p-UT for 33986-done@debbugs.gnu.org; Wed, 16 Jan 2019 14:11:45 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id e7fb1e08 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <33986-done@debbugs.gnu.org>; Wed, 16 Jan 2019 19:07:39 +0000 (UTC) Date: Wed, 16 Jan 2019 20:11:29 +0100 From: Julien Lepiller To: 33986-done@debbugs.gnu.org Subject: Re: [bug#33986] [PATCH 1/9] gnu: Add ocaml-sexplib0. Message-ID: <20190116201129.32c64fa3@lepiller.eu> In-Reply-To: <87lg3z8nc2.fsf@gmail.com> References: <87lg3z8nc2.fsf@gmail.com> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/W85kWULJapTAFW5KxjG2I=2"; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 33986-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --Sig_/W85kWULJapTAFW5KxjG2I=2 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Finally pushed as a41bca08e27da0d4db176c8fadf21e278af4a2b6 - 4d390cad2510797a68f473db347699e748c92e42. Sorry for taking so long! I've removed ocaml-parsetree-migrate because it was already present in guix. I've also slightly modified the descriptions (adding a dot or making the first sentence a full sentence in some packages). Otherwise, they were very good, thank you! --Sig_/W85kWULJapTAFW5KxjG2I=2 Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlw/geEACgkQQxEfRSAI agzF0Q/+IYfhdLN03FqQP0HrVfwpa7Z90Qjes7ZdhozFQXylXW6BO4pcOn0b3X/9 ltzoYomn8JCrHeq2vBokL55KZ+R663sWREX9hBFa5PwRK2CfgAw5qC17Gc7FnBzH yxMhH4lUXi6lWCbiCFluKlvjBh4C9apVHA9x2qUbibsBHZVAvZgk6ajCzPDVvQP+ rTP54CUlU1X6VL4b+pzygaXfIJ8Kedu1bajvygRmTSEnsCVJM1Pct++nMnccbaKN HF3Vr1PCRuYaZipEBjbc/iXqWowzpp1SOLpXJsDs8fioH3bg3omHroLIQkG2Qito DJL+3Gpmfraa+3ltkQEs8MbnXKS3qHxxTjq3htxebzr9fcdVR1jK80Hz+SKCVDwR zH0N6LAATvFA/eNq4XhtJTTDvJN8iaTfpHxsCODuansj6jth+XY3PscHFmfKaKeK dEanxULS02MPuvvJl9kbojn/EFbtvSv5iO3j0oPabXiYXtv8SBA5XSjDXABnTg9h 6IfUIlN7TyqxXKxWUL5uHvE8ISlVvMWXnLAPI2h1qTNcTkslvXIseaS4UHkP++6J 1xVXKRqgr///ZeMiauNkFuWXKT3HknVTns6icv3EV/ZtEi2yEOHniZo4ML4Qou94 uYmNaI1PDGjZSUEdqluVk6GUGu9eQKDCwEcGWK/Tz0rmA/NrCc0= =Ntcn -----END PGP SIGNATURE----- --Sig_/W85kWULJapTAFW5KxjG2I=2-- From unknown Fri Sep 05 16:58:32 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 14 Feb 2019 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator