... 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). -- 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.
