Nico Schlömer writes ("Re: Fwd: Trilinos: to split or not to split"):
> > "libml.*", really ?
> > I wonder if you need to prefix all of the library names :-/.
>
> We're already considering prefixing them all with "trilinos_".
I guess it's probably a pain to do, but yes that would be good.
Thanks.
Ian.
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
https://lists.debian.org/21326.41605.903252.758...@chiark.greenend.org.uk
