Le 25/03/2020 à 14:43, Ralf Treinen a écrit :

> In case someone else is running into the same problem, the debian
> packages are:
> 
> python3-sphinx
> python3-sphinxcontrib.bibtex

A bit more information. The Debian packages above are recent enough
(1.8?) to compile Why3's documentation, I think. The Ubuntu ones are not
(1.6?). So, in the latter case, you have to install them through pip3.

Best regards,

Guillaume
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to