> Why do you want to change them? They produce _different_ names > than GNU version and this is intentional.
Well, to make the debian build happy as far as I understand the messages on this issue. https://github.com/fricas/fricas/issues/2#issuecomment-572147616 Alex, do you know whether this is really the case or did I misunderstand something? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/71714094-c121-d426-0aff-43c4cbb4e647%40hemmecke.org.
