Federico Di Gregorio: > libnumb3rs0? we can bump the soname when the ABI changes, i.e., when an > old number is removed from the library or a new one added. :) Actually, I think Numb3rs is another non-free trademark. -- David Moreno Garza <damog@ciencias.unam.mx> | http://www.damog.net/ Todos quieren estar bien aunque se chinguen los demás.