[debbugs-tracker] bug#35150: closed ([PATCH] Unbundle opam dependencies)

[GNU bug Tracking System]

Your message dated Wed, 10 Apr 2019 21:48:43 +0200
with message-id <address@hidden>
and subject line Re: [bug#35150] [PATCH] Unbundle opam dependencies
has caused the debbugs.gnu.org bug report #35150,
regarding [PATCH] Unbundle opam dependencies
to be marked as done.

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


-- 
35150: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35150
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Unbundle opam dependencies
>
>
>
>
> Date: 
>
> Thu, 4 Apr 2019 20:54:36 +0200
>
>
>
>
> Hi!
>
> This patch series starts with two opam importer related patches: the
> first one adds some more syntax to our parser, that I encountered when
> importing opam dependencies. The second one makes the importer smarter
> and make it choose the dune-build-system when possible.
>
> Then the following patches add dependencies, updates one of them (the
> new version doesn't depend on opam anymore, thanksfully) and the last
> one changes the source of opam to use an unbundled source (the git
> repo).
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#35150] [PATCH] Unbundle opam dependencies
>
>
>
>
> Date: 
>
> Wed, 10 Apr 2019 21:48:43 +0200
>
>
>
>
> Le Wed, 10 Apr 2019 17:09:08 +0200,
> Ludovic Courtès <address@hidden> a écrit :
>
> > Hello!
> > 
> > Julien Lepiller <address@hidden> skribis:
> > 
> > > This patch series starts with two opam importer related patches: the
> > > first one adds some more syntax to our parser, that I encountered
> > > when importing opam dependencies. The second one makes the importer
> > > smarter and make it choose the dune-build-system when possible.
> > >
> > > Then the following patches add dependencies, updates one of them
> > > (the new version doesn't depend on opam anymore, thanksfully) and
> > > the last one changes the source of opam to use an unbundled source
> > > (the git repo).  
> > 
> > Nice work!  I threw a glance at these patches and they LGTM.
> > 
> > Thank you,
> > Ludo’.
>
> Thank you!
>
> pushed as 3e159dd0a46ba785f8a09bd86e6cacb5c1708bc9 -
> e9b86fa0f101536f620f1dc50bf414585823a8f6.
>
>
> --- End Message ---