time-1.1.3

[Duncan Coutts]

On Tue, 2009-06-02 at 14:00 -0700, Ashley Yakeley wrote:
> On Tue, 2009-06-02 at 21:15 +0100, Ian Lynagh wrote:
> 
> > For extralibs, we just use the HEAD repos.
> 
> Does this mean that the HEAD of any extralibs repo must be a working
> version around GHC release time, and that incremental code pushes into
> the repo should be avoided?
> 
> What if the package version in the HEAD has not been updated, will GHC
> still use it even though it may have the same version number as an
> earlier, different release?

It shouldn't matter any more. We do not expect any more "extralibs"
releases with ghc. The HP only uses existing hackage releases made by
the maintainers.

Duncan