Bumping "extralib" library versions

[Ross Paterson]

On Mon, Oct 22, 2007 at 03:43:38PM +0100, Ian Lynagh wrote:
> 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?

Yes (unless Stream is added).