Bumping "extralib" library versions
igloo at earth.li
Mon Oct 22 10:43:38 EDT 2007
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?
More information about the Libraries