[Pkg-mono-devel] Re: Mono Debian Packaging

Ganesan R rganesan@myrealbox.com
Mon, 26 Jan 2004 21:05:30 +0530


>>>>> "Paolo" == Paolo Molaro <lupus@ximian.com> writes:

> On 01/21/04 Ganesan R wrote:
>> > mint on x86 in debian is just a waste of server space, IMHO.
>> 
>> $ apt-cache show mono-mint | grep -i size
>> Size: 7544
>> installed-size: 60
>> 
>> So size is not a big concern. I think mint is still interesting enough to be

> You forgot to account for libmint, which is the real mint implementation.

You're right, I did.

$ l /usr/lib/libmint.so.0.0.0
-rw-r--r--    1 root     root       936008 Jan 17 18:43 /usr/lib/libmint.so.0.0.0

Not as small as I originally thought, but not that bad either. Is libmint
needed by anything other than mint?

>> in Debian, but then what do I know?

> mint is not interesting at all on x86. It's a necessity on the
> architectures where the jit hasn't a port, but that's it.

Okay.

Ganesan

--
Ganesan R