From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:48370) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dnhWk-0000ui-OU for guix-patches@gnu.org; Fri, 01 Sep 2017 04:42:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dnhWg-0003SM-54 for guix-patches@gnu.org; Fri, 01 Sep 2017 04:42:10 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:58571) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dnhWg-0003S9-2A for guix-patches@gnu.org; Fri, 01 Sep 2017 04:42:06 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dnhWc-0004Kj-7E for guix-patches@gnu.org; Fri, 01 Sep 2017 04:42:02 -0400 Subject: bug#28289: [PATCH] gnu: Add emacs-ocaml-tuareg. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <87shg9musc.fsf@gmail.com> Date: Fri, 01 Sep 2017 10:41:19 +0200 In-Reply-To: <87shg9musc.fsf@gmail.com> (Oleg Pykhalov's message of "Wed, 30 Aug 2017 09:30:59 +0300") Message-ID: <87h8wm7qvk.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Oleg Pykhalov Cc: 28289-done@debbugs.gnu.org Hi Oleg, Oleg Pykhalov skribis: >>>From 99c16b82de639864d9cfc5d144d8e0739f3c586c Mon Sep 17 00:00:00 2001 > From: Oleg Pykhalov > Date: Wed, 30 Aug 2017 09:29:44 +0300 > Subject: [PATCH] gnu: Add emacs-ocaml-tuareg. > > * gnu/packages/ocaml.scm (emacs-ocaml-tuareg): New variable. [...] > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -57,6 +57,7 @@ > #:use-module (gnu packages xml) > #:use-module (gnu packages xorg) > #:use-module (guix build-system gnu) > + #:use-module (guix build-system emacs) I removed this line=E2=80=A6 > #:use-module (guix build-system ocaml) > #:use-module (guix download) > #:use-module ((guix licenses) #:prefix license:) > @@ -575,6 +576,46 @@ assistant to write formal mathematical proofs using = a variety of theorem > provers.") > (license license:gpl2+))) >=20=20 > +(define-public emacs-ocaml-tuareg > + (package > + (name "emacs-ocaml-tuareg") =E2=80=A6 and renamed the package to =E2=80=9Cemacs-tuareg=E2=80=9D, since = the upstream name is just =E2=80=9CTuareg=E2=80=9D. I hope that=E2=80=99s fine you, otherwise please let me know! Thank you, Ludo=E2=80=99.