[darcs-users] [patch399] cut witnesses build down

Eric Kow kowey at darcs.net
Fri Sep 17 08:49:10 UTC 2010


On Wed, Sep 15, 2010 at 20:12:21 +0000, Ganesh Sittampalam wrote:
>   * cut witnesses build down
>   The library is now built with witnesses anyway so only the tests
>   need a separate build check.

Seems to make sense

For those who are following along, this discussion on Darcs 2.5
and witnesses may be relevant:
- http://lists.osuosl.org/pipermail/darcs-users/2010-July/024509.html
and the conclusion
- http://lists.osuosl.org/pipermail/darcs-users/2010-July/024551.html

-- 
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
For a faster response, try +44 (0)1273 64 2905 or
xmpp:kowey at jabber.fr (Jabber or Google Talk only)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100917/e2d75f39/attachment.pgp>


More information about the darcs-users mailing list