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,

Why3-club mailing list

Reply via email to