[debbugs-tracker] bug#28546: closed (Add some ocaml packages)

[GNU bug Tracking System]

Your message dated Wed, 27 Sep 2017 21:28:21 +0200
with message-id <address@hidden>
and subject line Re: [bug#28546] Add some ocaml packages
has caused the debbugs.gnu.org bug report #28546,
regarding Add some ocaml packages
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
28546: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28546
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Add some ocaml packages Date: Thu, 21 Sep 2017 22:46:51 +0200

Hi, here are 10 new ocaml packages.

It adds bap, a binary static analyzer, that I worked so hard to add the
dependencies of, and camomile, a dependency of utop, the next thing I
want in guix.

After this, there will be a small series of patches to add utop, and I
will be done with the ocaml packages. Then I'll try to update our ocaml
packages and the compiler itself.

0001-gnu-Add-ocaml-ezjsonm.patch
Description: Text Data

0002-gnu-Add-ocaml-uri.patch
Description: Text Data

0003-gnu-Add-ocaml-easy-format.patch
Description: Text Data

0004-gnu-Add-ocaml-optcomp.patch
Description: Text Data

0005-gnu-Add-ocaml-piqilib.patch
Description: Text Data

0006-gnu-Add-ocaml-uuidm.patch
Description: Text Data

0007-gnu-Add-ocamlgraph.patch
Description: Text Data

0008-gnu-Add-ocaml-piqi.patch
Description: Text Data

0009-gnu-Add-ocaml-bap.patch
Description: Text Data

0010-gnu-Add-ocaml-camomile.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#28546] Add some ocaml packages
>
>
>
>
> Date: 
>
> Wed, 27 Sep 2017 21:28:21 +0200
>
>
>
>
> Le Tue, 26 Sep 2017 10:21:06 +0200,
> address@hidden (Ludovic Courtès) a écrit :
>
> > Hello Julien,
> > 
> > Julien Lepiller <address@hidden> skribis:
> > 
> > > Le Thu, 21 Sep 2017 23:09:28 -0500,
> > > Eric Bavier <address@hidden> a écrit :  
> > 
> > [...]
> > 
> > >> Otherwise looks good to me.  
> > 
> > If you addressed Eric’s concerns and it works for you, you can
> > probably go ahead and push this series.
> > 
> > Thanks,
> > Ludo’.
>
> OK, pushed as bf7bc0d6bb8e549f1b05dae3fe4f325311db8310 -
> 408091d5a58801f88f8a5269387ce5efa701508b.
>
>
> --- End Message ---