Am Montag, September 17, 2018 12:10 CEST, Stuart Henderson
schrieb:
> On 2018/09/17 11:14, Marc Espie wrote:
> > On Mon, Sep 17, 2018 at 08:48:02AM +0200, Sebastian Reitenbach wrote:
> > > Hi,
> > >
> > > Am Samstag, September 15, 2018 12:12 CEST, Marc Espie
> > > schrieb:
> > >
> > > >
Am Montag, September 17, 2018 11:14 CEST, Marc Espie schrieb:
> On Mon, Sep 17, 2018 at 08:48:02AM +0200, Sebastian Reitenbach wrote:
> > Hi,
> >
> > Am Samstag, September 15, 2018 12:12 CEST, Marc Espie
> > schrieb:
> >
> > > (resend, something burped on the first try, I can't find it in the
On 2018/09/17 11:14, Marc Espie wrote:
> On Mon, Sep 17, 2018 at 08:48:02AM +0200, Sebastian Reitenbach wrote:
> > Hi,
> >
> > Am Samstag, September 15, 2018 12:12 CEST, Marc Espie
> > schrieb:
> >
> > > (resend, something burped on the first try, I can't find it in the
> > > archives)
> > >
On Mon, Sep 17, 2018 at 08:48:02AM +0200, Sebastian Reitenbach wrote:
> Hi,
>
> Am Samstag, September 15, 2018 12:12 CEST, Marc Espie
> schrieb:
>
> > (resend, something burped on the first try, I can't find it in the archives)
> >
> > The python stuff seems to be files to rename or remove.
>
Hi,
Am Samstag, September 15, 2018 12:12 CEST, Marc Espie schrieb:
> (resend, something burped on the first try, I can't find it in the archives)
>
> The python stuff seems to be files to rename or remove.
>
> Chicken and mono do install stuff that's WAY too short.
>
> The rest, well, that's
On Sat, 15 Sep 2018 12:12:42 +0200, Marc Espie wrote:
> py-dtopt-0.1p6(devel/py-dtopt),py3-dtopt-0.1p6(devel/py-dtopt,python3)
> /usr/local/share/doc/py-dtopt/index.txt
Yes, Elias pointed it out, this port should probably be removed (see
Subject: [REMOVE] devel/py-dtopt [2/2])
>
(resend, something burped on the first try, I can't find it in the archives)
The python stuff seems to be files to rename or remove.
Chicken and mono do install stuff that's WAY too short.
The rest, well, that's for maintainer to decide.
Anyway, those are unregistered conflicts right now.
If