On Thu, Sep 3, 2020 at 1:48 PM Sébastien Labbé <sla...@gmail.com> wrote: > > ... and after running that command without libpython3.7-dev, it now suggests > me this: > > $ sudo apt-get install libbrial-dev libbrial-groebner-dev libcdd-dev > libcdd-tools libm4rie-dev python3.7 libpython3.7-dev python3-distutils > > but when I run it (without libpython3.7-dev), it says I already have those: > > python3-distutils est déjà la version la plus récente (3.8.2-1ubuntu1). > libbrial-dev est déjà la version la plus récente (1.2.7-1build1). > libbrial-groebner-dev est déjà la version la plus récente (1.2.7-1build1). > libcdd-dev est déjà la version la plus récente (094j-2). > libcdd-tools est déjà la version la plus récente (094j-2). > libm4rie-dev est déjà la version la plus récente (20200125-1build1).
Please try https://trac.sagemath.org/ticket/27754 > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/48519647-b6a1-4000-9e1e-7ad0328029f8n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0aXQYg5%3DTAC%3D8xmP_ZddbdrCVXrNHU8J-fsTGPPV-PSw%40mail.gmail.com.