Re: [PATCH 07/10] gnu: hurd: Add flex as an input to mig.

2015-05-21 Thread Manolis Ragkousis
Pushed to wip-hurd. Manolis

Re: [PATCH 07/10] gnu: hurd: Add flex as an input to mig.

2015-05-19 Thread Ludovic Courtès
Manolis Ragkousis skribis: > From afdd6c8f76d9f11d7acb4d7d00d48d805f0ba0c6 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis > Date: Tue, 12 May 2015 20:59:32 +0300 > Subject: [PATCH 07/10] gnu: hurd: Add flex as an input to mig. > > * gnu/packages/hurd (mig): Add flex as an

[PATCH 07/10] gnu: hurd: Add flex as an input to mig.

2015-05-18 Thread Manolis Ragkousis
From afdd6c8f76d9f11d7acb4d7d00d48d805f0ba0c6 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 12 May 2015 20:59:32 +0300 Subject: [PATCH 07/10] gnu: hurd: Add flex as an input to mig. * gnu/packages/hurd (mig): Add flex as an input. --- gnu/packages/hurd.scm | 4 +++- 1 file