Hi Ludo,
On Sun, 09 Oct 2016 23:59:15 +0200
l...@gnu.org (Ludovic Courtès) wrote:
> Is the URL change intended? Is it needed? If so, please add a comment
> above as to why the github.com tarball is preferred.
Yes. The github URL contains the docs, the other doesn't.
> Am I missing another patch that adds this package?
Yeah, see "gnu: Update Sphinx to 1.4.6."
> > + ;; TODO jupyter distro
> > + `(("python-ply" ,python-ply)
> > + ("python-prompt-toolkit" ,python-prompt-toolkit)))
>
> I’m not sure what the comment means. Maybe remove it?
It has further optional dependencies that we haven't packaged yet - and that's
how they are called.
