time-1.1.3

[Ashley Yakeley]

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?

-- 
Ashley Yakeley