From unknown Mon Jun 23 18:27:23 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#29034 <29034@debbugs.gnu.org> To: bug#29034 <29034@debbugs.gnu.org> Subject: Status: [PATCH 0/5] Add ocaml-utop and dependencies Reply-To: bug#29034 <29034@debbugs.gnu.org> Date: Tue, 24 Jun 2025 01:27:23 +0000 retitle 29034 [PATCH 0/5] Add ocaml-utop and dependencies reassign 29034 guix-patches submitter 29034 Peter Kreye severity 29034 normal tag 29034 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 27 19:23:34 2017 Received: (at submit) by debbugs.gnu.org; 27 Oct 2017 23:23:34 +0000 Received: from localhost ([127.0.0.1]:37817 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8DyP-0004R8-A1 for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:23:34 -0400 Received: from eggs.gnu.org ([208.118.235.92]:51015) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8Dmf-00046v-1x for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:11:25 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e8DmZ-0006d9-4o for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:11:19 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:33554) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1e8DmZ-0006ct-1d for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:11:19 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:41980) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e8DmY-0007P0-5R for guix-patches@gnu.org; Fri, 27 Oct 2017 19:11:18 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e8DmX-0006Zo-EW for guix-patches@gnu.org; Fri, 27 Oct 2017 19:11:18 -0400 Received: from mail-io0-x22d.google.com ([2607:f8b0:4001:c06::22d]:55945) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e8DmX-0006YM-9k for guix-patches@gnu.org; Fri, 27 Oct 2017 19:11:17 -0400 Received: by mail-io0-x22d.google.com with SMTP id p186so15865768ioe.12 for ; Fri, 27 Oct 2017 16:11:17 -0700 (PDT) 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=6V5WFLM3G1tY15b4oU6sZ/1zMibu91rgdfcMGAqwUg0=; b=F2kURlTgwA1325R4cvRVTtz5iMggkxNEknd3qe6ddVRjilDX4ttKg4hczVthMWtpv2 Y994cMkgRuRfKHzLtnVptnO609L5zabQ/uLzS747vMoK06J10RCFIitpLrwjGoXQW7X2 i67g2hFeSocIpdgBtgZJqr1Wzx4j+DkMsABZ4I5uorSMP6k98Kl69CELPim+Xn81fspl TsCAoqdgniii3exdZ0F80bLJNwm33JOwHyFUYrxbwL2Yi1NnQJ0lAoat+GEyrz5gWbW7 baZ+rcDH6xpmAZd7jmmdYH84dEtjTbal1EZ41iNhOLUWlTFFAOoTXPnLh6cVN2z0ehxN eQCQ== 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=6V5WFLM3G1tY15b4oU6sZ/1zMibu91rgdfcMGAqwUg0=; b=P1AVQECDHjVVOoXwRieROoTHmZ8H8q1BsNUaBD/pss/K7Z8vGc4dcxL8DFEGckQcJP LJ+2njClkjgEz1W4qeyck/C9+B2y78gt/3O+pY/5rPCSjGakL35c6/2XqbT7ZtUqHE/y EIfelG4Vf2pnX6rM70qbAJY0L9hibHObCvAgcTKeJnc1kjzOjutiG5zXjE8ut0JZswIu 0017GmaRrUTWoRtaRnzIhQI7yK5vcIj2kRepDotA0eIzG4vIxjde1d6xto8TXSkwNxLu epFBwj2T9BxvaX8pHefblBxCRCW/PuyWGwljElsVVz9XzJTxiobtsU03K2ZNuf3jRTGr +jSQ== X-Gm-Message-State: AMCzsaWFa3IwaAFJ9/XQIYbgwIkBoHg0oKHbEXyG7jhx1GNmBugpMSpH BCfSCoYxi43r73kdtzd0I0eRDrD8 X-Google-Smtp-Source: ABhQp+RTDDVmsAuC9LaFQBys28OHzo63V4G1OGc2CxEZbl+Rw6UgCxM5njg1GrL9uQoUXIS/MhgPXg== X-Received: by 10.107.83.22 with SMTP id h22mr2699917iob.40.1509145876291; Fri, 27 Oct 2017 16:11:16 -0700 (PDT) Received: from major.gmail.com ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id m22sm3739476iob.47.2017.10.27.16.11.15 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Oct 2017 16:11:15 -0700 (PDT) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: guix-patches@gnu.org Subject: [PATCH 0/5] Add ocaml-utop and dependencies Date: Fri, 27 Oct 2017 18:10:33 -0500 Message-ID: <87po98dw5y.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Fri, 27 Oct 2017 19:23:31 -0400 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: -4.0 (----) Hi, This patch series adds UTop and its dependencies for OCaml. In order to get a recent version of utop to build, a more recent version of ocaml-findlib was needed. Thanks, Peter Peter Kreye (5): gnu: Add ocaml-jbuilder. gnu: Add ocaml-zed. gnu: Add ocaml-lambda-term. gnu: Add ocaml-findlib-1.7.3. gnu: Add ocaml-utop. gnu/packages/ocaml.scm | 192 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 192 insertions(+) From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 27 19:31:31 2017 Received: (at 29034) by debbugs.gnu.org; 27 Oct 2017 23:31:31 +0000 Received: from localhost ([127.0.0.1]:37831 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E67-0004eT-5y for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:31:31 -0400 Received: from mail-io0-f172.google.com ([209.85.223.172]:45792) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E5D-0004ck-R3 for 29034@debbugs.gnu.org; Fri, 27 Oct 2017 19:30:36 -0400 Received: by mail-io0-f172.google.com with SMTP id i38so15950323iod.2 for <29034@debbugs.gnu.org>; Fri, 27 Oct 2017 16:30:35 -0700 (PDT) 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=Ma0AMAtCGtbVkrraTyAY/lRZYqPJ4eBx2TqbHzuWc6o=; b=GFtrr9tTHff+Pb5NqA9MOQLnD0OqZZDrbX7EruvoIxWvIJ63bvSoNJLtHrW10Qj31d Tgl8F4MeRMhbCAB0OIYFBf08T80ACFlIGfNLG7jv8F4j5LN5ztaDyLgDiq+qyObHh3OK XOBfaBsk6dpK59sjzwcuCskYnbK0JeXp+Oj59JvfXt6xRulXoBr2KhgEz5B70a92t/4B vq+FRWFWTJc7tr2Rq3TsSHct2p4iLWDIX+Mg13YeDWm5nIVMvkMycbWGYyGR6wOpavwt /zhmr8faH15Z9ki327GT0IHWuxOhCfKxU+CJnpB5X+0wKCNB4VZhSCgG++l3d+yf/7g7 QUPA== 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=Ma0AMAtCGtbVkrraTyAY/lRZYqPJ4eBx2TqbHzuWc6o=; b=BmgJOQlkrexaDyjKXmiWNyujKdAjL5TKxlraFBhOz1ruqWvny+X6ie5YAqFzDvYN17 1zcunIbI/QZwX1DI2Q7k7mhJXKwQP/TARXRVZHfgAl6DpPPR7hKo+PEc/xOFWjmACcDc W7YCJEToIi2y51jDG3UsK7+8aquOjEf5jZ7YYwOw9A7YsZn1l8bJjrm+os5b42tPMQuY 8KUWk4ST650pk8/bSQNIGW77OiNiE2FNJCdUER/WzNBblIvOL9ImsasEUly84ZjVB7ud JYaI9gqxTLnIv0Tbiy4EvZ/KXIr0BDe3U7X1VbfBbh9dFKm3vMeE7X+KTQixPyZUW4+x FRFg== X-Gm-Message-State: AMCzsaVlXDtRST2iY7Pt3lZPy0a+RbDugrjyf0Uk/X/e2Kn5xAJxh9P3 cZdjj6/k7zp54vXBDeyjI0JZ8NKc X-Google-Smtp-Source: ABhQp+R8MzaiM8Z3xCFXRoh4CN05K+fVLgFMFVhJaAu31Jh9Bkmkc2JPB2c02RVAWDkkcv4jt3tmtw== X-Received: by 10.36.197.130 with SMTP id f124mr2467582itg.99.1509147029924; Fri, 27 Oct 2017 16:30:29 -0700 (PDT) Received: from major.gmail.com ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id o137sm3806654iod.51.2017.10.27.16.30.29 for <29034@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Oct 2017 16:30:29 -0700 (PDT) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 29034@debbugs.gnu.org Subject: [PATCH 1/5] gnu: Add ocaml-jbuilder. Date: Thu, 26 Oct 2017 17:02:49 -0500 Message-ID: <87o9osdv8r.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -1.8 (-) X-Debbugs-Envelope-To: 29034 X-Mailman-Approved-At: Fri, 27 Oct 2017 19:31:30 -0400 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.8 (-) * gnu/packages/ocaml.scm (ocaml-jbuilder): New variable. --- gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b13168c7d..2df9cc1a2 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3557,6 +3557,40 @@ library is currently designed for Unicode Standard 3.2.") ;; with an exception for linked libraries to use a different license (license license:lgpl2.0+))) +(define-public ocaml-jbuilder + (package + (name "ocaml-jbuilder") + (version "1.0+beta14") + (source (origin + (method url-fetch) + (uri (string-append + "https://github.com/janestreet/jbuilder/archive/" + version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "06jdcb4jmmp4wqyf9cm59jzgj0mxkpdzd9q3728gdxc1sz3v1sz0")))) + (build-system ocaml-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (replace 'configure + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (setenv "PREFIX" out)) + #t))))) + (native-inputs + `(("menhir" ,ocaml-menhir))) + (propagated-inputs + `(("opam" ,opam))) + (home-page "https://github.com/janestreet/jbuilder") + (synopsis "Composable build system for OCaml") + (description "Jbuilder is a build system designed for OCaml/Reason projects +only. It focuses on providing the user with a consistent experience and takes +care of most of the low-level details of OCaml compilation. All you have to do +is provide a description of your project and Jbuilder will do the rest.") + (license license:asl2.0))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 27 19:32:05 2017 Received: (at 29034) by debbugs.gnu.org; 27 Oct 2017 23:32:05 +0000 Received: from localhost ([127.0.0.1]:37835 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E6f-0004fk-GA for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:32:05 -0400 Received: from mail-io0-f176.google.com ([209.85.223.176]:46373) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E6e-0004f8-1f for 29034@debbugs.gnu.org; Fri, 27 Oct 2017 19:32:04 -0400 Received: by mail-io0-f176.google.com with SMTP id 101so15967526ioj.3 for <29034@debbugs.gnu.org>; Fri, 27 Oct 2017 16:32:04 -0700 (PDT) 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=PfwrWVFjhJPlYWfVAQ2QGRho1MphCKU/On1oIPY9ggo=; b=aeD6KyGqxqSk2g0Z8pl2a5cWhgcrVQeDajgdlTtfflMG8MVc4GqlVjASBTKTiY/u73 GWQsyOYzyOH3S5QW61z9DoWBuEKkIdMcZBmkQvgUKBBUsA4PW7AQsY0FiMAn4zkzF7a1 5XuIBuvif5kSTdP6koJBdQhlwuYqGV/wVMzC9R5riY8yLlweM/EJqOFr7ymsKy7kQjGl WPdXxcoMqp/CRKSmLptt0J67yKRaSyRhNtWYSZrQXIrtv512CT4RYHsSXofzFpP7Wvki vkM1zHZI5TBTYGT4ILrMry2tzcH56H5AIFYvgbcI8gfjEdIYVDpZY5ex8JksvNbvcALB 2WkQ== 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=PfwrWVFjhJPlYWfVAQ2QGRho1MphCKU/On1oIPY9ggo=; b=Nwu1YKhmYNIK+iQxIcejUTl7GdM5b4X92enATroMLo52ovNHKE6BUNxF3S6AlxJTUV HSTL+zXH9z4U/PkISWAnZebqcYRc0m8+W9EHfObHSDucs3Gqx8fufEHxK5+AQZyxMHGx dHM8vabZFPgOgCeofEAZwEUi9FicQ6rk+SE/ha3Owvp179GEZ2xF+9LZq54e9eB9xxSZ B5QjuZWuoJWReEMi0g08Dc8c9CNwxdUwJ2wiUgNotgLdK5urdxQRMBGKXMJYEcrpGzbn HW9IdZG3bqj8JwEpXDJtO9VTsxGlZNFO4hDEcWkaBqr6SZuvecw2iqL/cFzhZn+SSMYk GGpQ== X-Gm-Message-State: AMCzsaXg4H/26hk7+gQGjNQrV+RYSkv5GEID/4XYxpDFZTPGsmAtAWSg E1e2GrwDlVf5mlBwrxuhMFBlc1RB X-Google-Smtp-Source: ABhQp+Q0/iM3CNTgtsGLW074FNrK9yEshRfiS7sMeVGGNsJyEcwx2sB24PZbZUGhVRTz4FFCsxhKtA== X-Received: by 10.36.0.207 with SMTP id 198mr2718654ita.128.1509147118478; Fri, 27 Oct 2017 16:31:58 -0700 (PDT) Received: from major.gmail.com ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id l11sm3920483ioi.39.2017.10.27.16.31.58 for <29034@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Oct 2017 16:31:58 -0700 (PDT) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 29034@debbugs.gnu.org Subject: [PATCH 2/5] gnu: Add ocaml-zed. Date: Fri, 27 Oct 2017 18:31:57 -0500 Message-ID: <87mv4cdv6a.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 29034 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: -2.3 (--) * gnu/packages/ocaml.scm (ocaml-zed): New variable. --- gnu/packages/ocaml.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2df9cc1a2..5fdc8e09c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3591,6 +3591,43 @@ care of most of the low-level details of OCaml compilation. All you have to do is provide a description of your project and Jbuilder will do the rest.") (license license:asl2.0))) +(define-public ocaml-zed + (package + (name "ocaml-zed") + (version "1.5") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/diml/zed/archive/" + version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "1q281slzwgdrrxalayll75bxgghadswlh2zcvzy08nrywqnlq5y8")))) + (build-system ocaml-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key #:allow-other-keys) + (zero? (system* "jbuilder" "build")))) + (delete 'check) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (zero? (system* "jbuilder" "install" "--prefix" out)))))))) + (native-inputs + `(("jbuilder" ,ocaml-jbuilder))) + (propagated-inputs + `(("camomile" ,ocaml-camomile) + ("react" ,ocaml-react))) + (home-page "https://github.com/diml/zed") + (synopsis "Abstract engine for text editing in OCaml") + (description "Zed is an abstract engine for text edition. It can be used +to write text editors, edition widgets, readlines, etc. You just have to +connect an engine to your inputs and rendering functions to get an editor.") + (license license:bsd-3))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 27 19:32:54 2017 Received: (at 29034) by debbugs.gnu.org; 27 Oct 2017 23:32:54 +0000 Received: from localhost ([127.0.0.1]:37838 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E7R-0004gk-RI for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:32:54 -0400 Received: from mail-io0-f171.google.com ([209.85.223.171]:43499) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E7P-0004gV-Ow for 29034@debbugs.gnu.org; Fri, 27 Oct 2017 19:32:52 -0400 Received: by mail-io0-f171.google.com with SMTP id 134so15961021ioo.0 for <29034@debbugs.gnu.org>; Fri, 27 Oct 2017 16:32:51 -0700 (PDT) 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=xPS7aGjKWUK3zcc4eT6NeV2gjC/y6Kp4qbTXodRtkRs=; b=aJinz1BoLuFZH/4spUHpZ2nERTfDPFy89BB+psVYcOpTgMCO1cZK2S/VqvigrP3DbU VWSgiva/5yqQpC7Nrrc/3U/WOZKYYMRaQA+vT5tSqow0OKSUG4G9VSUKg0Gcd0oQ3MFj hRaaS7jmS/c09XalOgq9RH0FskiiVIQJ8cvIWya+QUhD4SVRv85OgrVil87DDOwj0dBa Q8N4Yn9+i3p2WQ850bak9KSlop8hC7jMJ5hr62twW7Rw3HST51RLvl5d1E4EW1zGwMYE dlbLTMFvLg68fI+o4IYR9XpWrdHrLFT/xLICA87RGS/+WikKUUabiz9tdCPTabjAlan5 +M2g== 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=xPS7aGjKWUK3zcc4eT6NeV2gjC/y6Kp4qbTXodRtkRs=; b=BcfyYcw18ay9WQtbCUpbRQAizLCaYPn7gUWfKVMJ6puj4rvM38O1fMiAOW6nCGsE4f R79QjpZdmNZ06C+/eEigmPHrL4MHtNILnI4O4zLRbI0Tap6OcSMvFJpDofAkpCj1WvsS FrhzOGKUzsC+NWWQicEzgkulND2PcbroJnNqGsPsSI7yLFM2DRYZqoTm85Jn05asT0M8 QU/xcRCNC3CLIwpkh2980Yleu13LMB0ZX+LAIPUuYPnLnWy9LVmWa/Rs2ZhB7JaUmfhv FjUjBXWs5hAttGKy0VliBMvC2qLoHwLl6D6MqFERjnUTZTmg4JvfhO3bonY2TbPZnq7O aLGQ== X-Gm-Message-State: AMCzsaXZB7wit87Pf8ZoAJ0pfW+ZVLr/StUZsq8LxKCahfveFVFIbjmv L4BA2XrjMd99s0ploSO3ru+V2LXQ X-Google-Smtp-Source: ABhQp+TK7BDMj/fpnHHDrY6jZiVTEkqP4RGRuVZLfBJG86C7swNqdEiCz7jD8Xvdn4oZMLnVOChdoA== X-Received: by 10.36.76.79 with SMTP id a76mr2811223itb.84.1509147166233; Fri, 27 Oct 2017 16:32:46 -0700 (PDT) Received: from major.gmail.com ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id q20sm3864002ioh.59.2017.10.27.16.32.45 for <29034@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Oct 2017 16:32:46 -0700 (PDT) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 29034@debbugs.gnu.org Subject: [PATCH 3/5] gnu: Add ocaml-lambda-term. Date: Fri, 27 Oct 2017 18:32:45 -0500 Message-ID: <87lgjwdv4y.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 29034 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: -2.3 (--) * gnu/packages/ocaml.scm (ocaml-zed): New variable. --- gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5fdc8e09c..712cc91e0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3628,6 +3628,48 @@ to write text editors, edition widgets, readlines, etc. You just have to connect an engine to your inputs and rendering functions to get an editor.") (license license:bsd-3))) +(define-public ocaml-lambda-term + (package + (name "ocaml-lambda-term") + (version "1.11") + (source + (origin + (method url-fetch) + (uri (string-append "https://github.com/diml/lambda-term/archive/" + version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 "10lx1jqgmmfwwlv64di4a8nia9l53v7179z70n9fx6aq5l7r8nba")))) + (build-system ocaml-build-system) + (arguments + `(#:test-target "test" + #:phases + (modify-phases %standard-phases + (delete 'configure) + ;; currently, ocaml-lwt is an old version of lwt from before lwt.react + ;; was split into a separate module called lwt_react + (add-before 'build 'use-old-lwt-react-name + (lambda _ + (substitute* "src/jbuild" (("lwt_react") "lwt.react")))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (zero? (system* "jbuilder" "install" "--prefix" out)))))))) + (native-inputs + `(("jbuilder" ,ocaml-jbuilder))) + (propagated-inputs + `(("lwt" ,ocaml-lwt) + ("zed" ,ocaml-zed))) + (home-page "https://github.com/diml/lambda-term") + (synopsis "Terminal manipulation library for OCaml") + (description "Lambda-Term is a cross-platform library for manipulating the +terminal. It provides an abstraction for keys, mouse events, colors, as well as +a set of widgets to write curses-like applications. The main objective of +Lambda-Term is to provide a higher level functional interface to terminal +manipulation than, for example, ncurses, by providing a native OCaml interface +instead of bindings to a C library.") + (license license:bsd-3))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 27 19:33:33 2017 Received: (at 29034) by debbugs.gnu.org; 27 Oct 2017 23:33:33 +0000 Received: from localhost ([127.0.0.1]:37843 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E85-0004iE-5P for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:33:33 -0400 Received: from mail-io0-f180.google.com ([209.85.223.180]:55293) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E83-0004i0-Qu for 29034@debbugs.gnu.org; Fri, 27 Oct 2017 19:33:32 -0400 Received: by mail-io0-f180.google.com with SMTP id e89so15931500ioi.11 for <29034@debbugs.gnu.org>; Fri, 27 Oct 2017 16:33:31 -0700 (PDT) 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=i3EteG7ApzEfMYVPxN/mZuoESlxNl5Once2FdH2xeHo=; b=ivhfs/PEaKAaQicbiWms89uvN6Vh3qxgTz3RVFQfTQzUUY9a9lm6XiKNdsQlwOqBGM sPC4ApaPJK/RGbzPJ1Um4KVf6VrR5KsJngUlZ8HouSJzB7tYSZe/9FD9VJ9nPFl8VgVD CL4kfcsnhubvSz/UusxLS6o07bOfeWXEM/4LIUDhT7jd20c8rKCH3eh/7ZmXuQCmg+XK B5Q3dszfUlayg8px+o/KCScRZ88g9txmHgCGhS9t8gZTRcfhfvcXC30Ajq6oS0aq/rT/ NTwE1YDb9HQdpac53ygO0abjKA6PtvxqpXzEHn7RA9kxdcF76OcNkowmtYItziG4wc0d ftDA== 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=i3EteG7ApzEfMYVPxN/mZuoESlxNl5Once2FdH2xeHo=; b=nFlZUFH+bqxlFBiThfJdbBAJJANpO0c3tU0CPjTUcWgAgh4yjhXesRFg6KQwpwA2Ra rG4aYyuw8vYs2w0rs2J+L8uvC8aoz/eLO54rgjriVhSvrnuCATJXU+dQoSitzXFLqTeA WIpz5URobB9/n2kulBSBDVJRAeCLgQtJQcecRDNX9c4qce9jbSVwiI80cufB0cr6ZkiB 8hzIFu8o4Kp+JsKnq+N3v9Vu6W5MXyIshM9HpbpO/Z9qaGH43sFGXoUUNBZEs86clmxC rL3MkME4kaH8i8ui/4f1Oda+0G8naYa2uFDLWPGHKQRzkGIrPZYQo1eI+1CsgXeB7/t/ 8wXg== X-Gm-Message-State: AMCzsaV6Lmu5Xr534priqaiv9Tpc9fhfxvIQMEPGtFBdRDrNFHPItpXf KlTIFdnJXj+lgO/DVK9NlsdSJr6s X-Google-Smtp-Source: ABhQp+ROIN554W7izL1NMo93GpAQ5ZQVtx66lhKw+oXYSHyvl+DG3rKZ/eSHSVp4lwoPH67pgP1cOw== X-Received: by 10.36.214.13 with SMTP id o13mr2815440itg.117.1509147206270; Fri, 27 Oct 2017 16:33:26 -0700 (PDT) Received: from major.gmail.com ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id l206sm1446626ita.29.2017.10.27.16.33.25 for <29034@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Oct 2017 16:33:26 -0700 (PDT) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 29034@debbugs.gnu.org Subject: [PATCH 4/5] gnu: Add ocaml-findlib-1.7.3. Date: Fri, 27 Oct 2017 18:33:25 -0500 Message-ID: <87k1zgdv3u.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 29034 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: -2.3 (--) * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): New variable. --- gnu/packages/ocaml.scm | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 712cc91e0..403176452 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -844,6 +844,41 @@ brought up to date by propagating the changes in each replica to the other.") (license license:gpl3+))) +(define-public ocaml-findlib-1.7.3 + (package + (inherit ocaml-findlib) + (version "1.7.3") + (source (origin + (method url-fetch) + (uri (string-append "http://download.camlcity.org/download/" + "findlib" "-" version ".tar.gz")) + (sha256 + (base32 + "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni")))) + (arguments + `(#:tests? #f ; no test suite + #:parallel-build? #f + #:make-flags (list "all" "opt") + #:phases (modify-phases %standard-phases + (replace + 'configure + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (system* + "./configure" + "-bindir" (string-append out "/bin") + "-config" (string-append out "/etc/ocamfind.conf") + "-mandir" (string-append out "/share/man") + "-sitelib" (string-append out "/lib/ocaml/site-lib") + "-with-toolbox")))) + (replace + 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (system* + "make" "install" + (string-append "OCAML_CORE_STDLIB=" out)))))))))) + (define-public ocaml-findlib (package (name "ocaml-findlib") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 27 19:34:22 2017 Received: (at 29034) by debbugs.gnu.org; 27 Oct 2017 23:34:22 +0000 Received: from localhost ([127.0.0.1]:37847 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E8s-0004jg-Es for submit@debbugs.gnu.org; Fri, 27 Oct 2017 19:34:22 -0400 Received: from mail-io0-f178.google.com ([209.85.223.178]:49977) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8E8q-0004jS-HP for 29034@debbugs.gnu.org; Fri, 27 Oct 2017 19:34:20 -0400 Received: by mail-io0-f178.google.com with SMTP id n137so15991167iod.6 for <29034@debbugs.gnu.org>; Fri, 27 Oct 2017 16:34:20 -0700 (PDT) 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=ortBkhnZnfCc93SC0f12/YeSltO6vFR2ohf1AT8tG10=; b=AcigieAQx3rDVjQ+tsUO0x9lMovv3yX2hdi+c9UBPhirIwhGWVup8oR+zDEAS8EXI5 4rSls3HDD1A4UevFZP6wQGnZPuEtnnSyGeRTffYoCqqMj+C+gqeMbxe8dMVT59iWzN+M xOfnclbi0zCLaQecu/cUH+P4kCkbIXP4EZJCrBAmcoIVSS3mb4Aa5G18bUI4Jcbo9rby ACeBu1w3b3jxcJaG5ywV4eRQOKMcxkuaM0zPcFmkpYuwd/diiGJxOPIhEJe6VpRMD1dU CYVagpFD5/CL820scgyq39DUzowCGAnUDyOjurv3IaiFDE0LuS0j14y54+srKyWbmGLt vlHA== 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=ortBkhnZnfCc93SC0f12/YeSltO6vFR2ohf1AT8tG10=; b=h98aNb0mNWqBkh4KjKpFKP/ZZgPg90Ea5LxysMwNHuvZAugb2pb7NwhBzrxrVU+5Qu 6H+vQSJCozQ72IK1yXkuSr4hrpy75ZLLUKwf2QTLtxbaWnh9VWJbPvB6QrtDj5fJqxbh 30QmiBvhqjSUtV85Xvb+8GLFRLGXtZ39sQmDwYXJTWqMw/zHFQrytfc45IstMYm6X+4f b+CyDAIYACbBjGDYG20Lt4jKCQUJHR2e/9TsfhyXNdJZYVUsTeuBPLltPLzIGkiZqG6V 2KuN4ruN2JyCgVpxhU/dA4/lAZfzK4+/ozREbRtbnFUxkl/dCB0++1j8g0x1xZOh1NHU foyg== X-Gm-Message-State: AMCzsaXKeMh9PIkEkMv9R2uv5hLf790EJCcmEbU0BYUOhw2Sf482ortU Wu6MgMlrKHlfgJEc+aaN/sAsLonX X-Google-Smtp-Source: ABhQp+RDRc/pylQmk9ZOAUCqy/zrJxyVJi9du79LVfK05vaeXsiZ5hwfFGWOaYhhe9v2239Fjg8w3w== X-Received: by 10.36.58.85 with SMTP id m82mr2690986itm.90.1509147255005; Fri, 27 Oct 2017 16:34:15 -0700 (PDT) Received: from major.gmail.com ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id k83sm3958378iod.35.2017.10.27.16.34.14 for <29034@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 27 Oct 2017 16:34:14 -0700 (PDT) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 29034@debbugs.gnu.org Subject: [PATCH 5/5] gnu: Add ocaml-utop. Date: Fri, 27 Oct 2017 18:34:13 -0500 Message-ID: <87inf0dv2i.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 29034 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: -2.3 (--) * gnu/packages/ocaml.scm (ocaml-utop): New variable. --- gnu/packages/ocaml.scm | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 403176452..474d7653b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3705,6 +3705,50 @@ manipulation than, for example, ncurses, by providing a native OCaml interface instead of bindings to a C library.") (license license:bsd-3))) +(define-public ocaml-utop + (package + (name "ocaml-utop") + (version "2.0.1") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/diml/utop/archive/" + version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "1v22bzw1vgwbbmpvi7lkyp2r59w5mag85rmqplb4fwik78x7k4ss")))) + (build-system gnu-build-system) + (arguments + `(#:test-target "test" + #:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (libdir (string-append out "/lib/ocaml/site-lib"))) + (mkdir-p libdir) + (zero? (system* "jbuilder" "install" + "--prefix" out + "--libdir" libdir)))))))) + (native-inputs + `(("ocaml" ,ocaml) + ("cppo" ,ocaml-cppo) + ("jbuilder" ,ocaml-jbuilder))) + (propagated-inputs + `(("findlib" ,ocaml-findlib-1.7.3) + ("lambda-term" ,ocaml-lambda-term) + ("lwt" ,ocaml-lwt) + ("react" ,ocaml-react) + ("camomile" ,ocaml-camomile) + ("zed" ,ocaml-zed))) + (home-page "https://github.com/diml/utop") + (synopsis "Improved interface to the OCaml toplevel") + (description "UTop is an improved toplevel for OCaml. It can run in a +terminal or in Emacs. It supports line editing, history, real-time and context +sensitive completion, colors, and more.") + (license license:bsd-3))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 28 04:08:54 2017 Received: (at 29034) by debbugs.gnu.org; 28 Oct 2017 08:08:54 +0000 Received: from localhost ([127.0.0.1]:38016 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8MAn-0000ej-Rc for submit@debbugs.gnu.org; Sat, 28 Oct 2017 04:08:54 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:57950) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8MAk-0000ea-L7 for 29034@debbugs.gnu.org; Sat, 28 Oct 2017 04:08:50 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 6CA1EF5D6; Sat, 28 Oct 2017 10:08:51 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NjUUdbnBahGx; Sat, 28 Oct 2017 10:08:51 +0200 (CEST) Received: from ribbon (smb-adpcdg1-02.hotspot.hub-one.net [213.174.99.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id D4F7EF5D3; Sat, 28 Oct 2017 10:08:50 +0200 (CEST) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Kreye Subject: Re: [bug#29034] [PATCH 1/5] gnu: Add ocaml-jbuilder. In-Reply-To: <87o9osdv8r.fsf@gmail.com> (Peter Kreye's message of "Thu, 26 Oct 2017 17:02:49 -0500") References: <87po98dw5y.fsf@gmail.com> <87o9osdv8r.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 7 Brumaire an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 28 Oct 2017 10:08:44 +0200 Message-ID: <878tfv7kz7.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 29034 Cc: 29034@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 (+) Hello, Peter Kreye skribis: > * gnu/packages/ocaml.scm (ocaml-jbuilder): New variable. Applied! From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 28 04:11:36 2017 Received: (at 29034) by debbugs.gnu.org; 28 Oct 2017 08:11:36 +0000 Received: from localhost ([127.0.0.1]:38020 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8MDQ-0000iz-94 for submit@debbugs.gnu.org; Sat, 28 Oct 2017 04:11:36 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:57957) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8MDO-0000ir-PR for 29034@debbugs.gnu.org; Sat, 28 Oct 2017 04:11:35 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 9FA5AF5D3; Sat, 28 Oct 2017 10:11:35 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id GtayBTaXSTgy; Sat, 28 Oct 2017 10:11:35 +0200 (CEST) Received: from ribbon (smb-adpcdg1-02.hotspot.hub-one.net [213.174.99.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 8FCDE3597; Sat, 28 Oct 2017 10:11:34 +0200 (CEST) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Kreye Subject: Re: [bug#29034] [PATCH 2/5] gnu: Add ocaml-zed. References: <87po98dw5y.fsf@gmail.com> <87mv4cdv6a.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 7 Brumaire an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 28 Oct 2017 10:11:28 +0200 In-Reply-To: <87mv4cdv6a.fsf@gmail.com> (Peter Kreye's message of "Fri, 27 Oct 2017 18:31:57 -0500") Message-ID: <874lqj7kun.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 29034 Cc: 29034@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 (+) Peter Kreye skribis: > * gnu/packages/ocaml.scm (ocaml-zed): New variable. Applied! From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 28 04:19:20 2017 Received: (at 29034) by debbugs.gnu.org; 28 Oct 2017 08:19:20 +0000 Received: from localhost ([127.0.0.1]:38026 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8MKu-0000vH-1x for submit@debbugs.gnu.org; Sat, 28 Oct 2017 04:19:20 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:57974) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8MKs-0000v9-S6 for 29034@debbugs.gnu.org; Sat, 28 Oct 2017 04:19:19 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 9BFCFF5D3; Sat, 28 Oct 2017 10:19:19 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ISObnMxt-Sd3; Sat, 28 Oct 2017 10:19:19 +0200 (CEST) Received: from ribbon (smb-adpcdg1-02.hotspot.hub-one.net [213.174.99.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 572D9F559; Sat, 28 Oct 2017 10:19:16 +0200 (CEST) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Kreye Subject: Re: [bug#29034] [PATCH 3/5] gnu: Add ocaml-lambda-term. References: <87po98dw5y.fsf@gmail.com> <87lgjwdv4y.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 7 Brumaire an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 28 Oct 2017 10:18:56 +0200 In-Reply-To: <87lgjwdv4y.fsf@gmail.com> (Peter Kreye's message of "Fri, 27 Oct 2017 18:32:45 -0500") Message-ID: <87zi8b65xr.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 29034 Cc: 29034@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 (+) Peter Kreye skribis: > * gnu/packages/ocaml.scm (ocaml-zed): New variable. Applied! From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 28 04:36:56 2017 Received: (at 29034) by debbugs.gnu.org; 28 Oct 2017 08:36:56 +0000 Received: from localhost ([127.0.0.1]:38030 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8Mbw-0001MH-KJ for submit@debbugs.gnu.org; Sat, 28 Oct 2017 04:36:56 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:58013) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8Mbv-0001M9-1z for 29034@debbugs.gnu.org; Sat, 28 Oct 2017 04:36:55 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id C7A85F5D3; Sat, 28 Oct 2017 10:36:55 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id GYOthfly0A66; Sat, 28 Oct 2017 10:36:54 +0200 (CEST) Received: from ribbon (smb-adpcdg1-02.hotspot.hub-one.net [213.174.99.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 45031F4FC; Sat, 28 Oct 2017 10:36:54 +0200 (CEST) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Kreye Subject: Re: [bug#29034] [PATCH 4/5] gnu: Add ocaml-findlib-1.7.3. References: <87po98dw5y.fsf@gmail.com> <87k1zgdv3u.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 7 Brumaire an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 28 Oct 2017 10:36:49 +0200 In-Reply-To: <87k1zgdv3u.fsf@gmail.com> (Peter Kreye's message of "Fri, 27 Oct 2017 18:33:25 -0500") Message-ID: <87she3653y.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 29034 Cc: 29034@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 (+) Peter Kreye skribis: > * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): New variable. I rewrote it a bit to reduce duplication: --8<---------------cut here---------------start------------->8--- (define-public ocaml-findlib-1.7.3 (package (inherit ocaml-findlib) (version "1.7.3") (source (origin (method url-fetch) (uri (string-append "http://download.camlcity.org/download/" "findlib" "-" version ".tar.gz")) (sha256 (base32 "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni")))) (arguments (substitute-keyword-arguments (package-arguments ocaml-findlib) ((#:phases phases) `(modify-phases ,phases (replace 'install (lambda* (#:key outputs #:allow-other-keys) (let ((out (assoc-ref outputs "out"))) (zero? (system* "make" "install" (string-append "OCAML_CORE_STDLIB=3D" out)))))))))))) --8<---------------cut here---------------end--------------->8--- Hope that=E2=80=99s fine with you! Also, what would it take to upgrade ocaml-findlib@1.6 to this one? That=E2=80=99s something we should do if there are no compatibility issues. Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 28 04:37:46 2017 Received: (at 29034-done) by debbugs.gnu.org; 28 Oct 2017 08:37:46 +0000 Received: from localhost ([127.0.0.1]:38034 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8Mcj-0001Nl-Tb for submit@debbugs.gnu.org; Sat, 28 Oct 2017 04:37:46 -0400 Received: from hera.aquilenet.fr ([141.255.128.1]:58020) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e8Mci-0001Nd-HH for 29034-done@debbugs.gnu.org; Sat, 28 Oct 2017 04:37:44 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 5B456F5D3; Sat, 28 Oct 2017 10:37:45 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id z45mmu6cIBEv; Sat, 28 Oct 2017 10:37:44 +0200 (CEST) Received: from ribbon (smb-adpcdg1-02.hotspot.hub-one.net [213.174.99.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id B64B4F4FC; Sat, 28 Oct 2017 10:37:44 +0200 (CEST) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Kreye Subject: Re: [bug#29034] [PATCH 5/5] gnu: Add ocaml-utop. References: <87po98dw5y.fsf@gmail.com> <87inf0dv2i.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 7 Brumaire an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 28 Oct 2017 10:37:40 +0200 In-Reply-To: <87inf0dv2i.fsf@gmail.com> (Peter Kreye's message of "Fri, 27 Oct 2017 18:34:13 -0500") Message-ID: <87o9or652j.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 29034-done Cc: 29034-done@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 (+) Peter Kreye skribis: > * gnu/packages/ocaml.scm (ocaml-utop): New variable. Applied. Thanks for this patch series, and welcome! :-) Ludo=E2=80=99. From unknown Mon Jun 23 18:27:23 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 25 Nov 2017 12:24:07 +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