I'd be willing to maintain the package until you have time.I spent a while working on improving the linbox package in my repository. I've updated my package to use the shared library that Linbox now has. It now has no lintian warnings other than an extra license file; I generated a man page with
help2man -n "tool for linking against LinBox" linbox-configthough probably it would be best if the code to do that generation were in upstream LinBox. I should email the LinBox team regardless, since the documentation doesn't build because it tries to install HACKING, which apparently doesn't exist anymore.
However, in order for LinBox to be useful for SAGE we'll need to either package linbox_wrap for debian or wait until linbox_wrap gets into mainline LinBox. Because Lenny is freezing in a few weeks, there isn't much time for this.
The other problem I have at the moment is that both givaro and linbox try to install /usr/include/gmp++/gmp++_int.inl and friends, but the versions they install are slightly different. I'm not sure what the story is with that; but it seems like they are originally from Givaro; I'll send an email to the LinBox mailing list about this when I get a chance.
-Tim Abbott On Tue, 20 May 2008, Vincent Danjean wrote:
retitle 480092 ITP: linbox -- Library for exact linear algebra submitter 480092 ! thanks Hi, Just before creating an ITP, I saw this RFP... My research team is already involved with linbox and next year we should work on it a lot. So, I would be pleased to help to integrate linbox in Debian. I plan to create a git repo on alioth (in the maint-collab project) to work on the packaging (starting with your work). Any co-maintainers are welcome. Please, note however that, probably, I will not be able to work on linbox until a few weeks. So, if you expect linbox to be uploaded before lenny freeze, another maintainer is needed. Best regards, Vincent -- Vincent Danjean GPG key ID 0x9D025E87 vdanjean@debian.org GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87 Unofficial pacakges: http://www-id.imag.fr/~danjean/deb.html#package APT repo: deb http://perso.debian.org/~vdanjean/debian unstable main