Re: time-1.1.3

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