[aur-requests] [PRQ#17169] Deletion Request for juliadoc-git

Robin Broda arch-ml at coderobe.net
Sun Jan 5 15:55:15 UTC 2020

On 1/2/20 12:33 PM, notify--- via aur-requests wrote:
> haawda [1] filed a deletion request for juliadoc-git [2]:
> There is julia-docs-git, a split package in julia-git PKGBUILD, so I
> think this one is obsolete now.
> [1] https://aur.archlinux.org/account/haawda/
> [2] https://aur.archlinux.org/pkgbase/juliadoc-git/

I am fairly sure that juliadoc and julia-docs are separate projects.
One being the documentation of julia, and the other being a python sphinx extension for these.

Though i am not familiar enough with the julia ecosystem to make a call here.

Rob (coderobe)

O< ascii ribbon campaign - stop html mail - www.asciiribbon.org

More information about the aur-requests mailing list