Le vendredi 14 janvier 2022 à 11:00:31 UTC+1, Dima Pasechnik a écrit : > > is this system-wide lrslib? >
Yes this is from Ubuntu package lrslib 0.70-3. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/2e1101de-5016-4faf-ad95-57d7a3158614n%40googlegroups.com.