"Gwern Branwen" <[EMAIL PROTECTED]> writes:
> On Tue, Aug 19, 2008 at 10:05 AM, David Roundy wrote:
>>> Sat Aug 9 12:15:10 CDT 2008 Rob Hoelz
>>> * Added support for using the utf8-string library if it's available
>
> Eric, now that you're project lead, do you want to reconsider Dr.
> Roundy's decision to refuse this patch?
>
> Now that we're cabalized, we could use flags. (Or just make
> utf8-string a depended-upon package period, I suppose, which would let
> us remove src/UTF8.lhs?)
Have I understood correctly?
You're talking about removing src/UTF8.lhs, which is a convenience
copy of a separate library (called "libghc6-utf8-string-dev" on
Debian). Or at least, making the system copy of utf8-string be used
in preference to src/UTF8.lhs.
As the Debian liason, I'm against using any convenience copies that I
don't have to. Debian Policy tells me not to use them, and if they're
included in the source tarball then I have to make sure their copyright
and license information are up to date in debian/copyright. (OTOH
currently I'm being really naughty and lazy on both counts.)
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
