/sci-libs/taucs/