Bumping "extralib" library versions

[Ian Lynagh]

On Mon, Oct 22, 2007 at 03:04:15PM +0100, Ross Paterson wrote:
> On Mon, Oct 22, 2007 at 02:11:03PM +0100, Ian Lynagh wrote:
> > On Mon, Oct 22, 2007 at 12:43:05PM +0100, Duncan Coutts wrote:
> > > ==========
> > > arrows
> 
> There have been no changes to the repo since that release, but as Duncan
> pointed out it now depends on a package outside extralibs (Stream), so I
> guess it should be dropped.

Do you mean you think arrows should be dropped from extralibs?


Thanks
Ian