[aur-requests] [PRQ#17169] Deletion Request for juliadoc-git
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/
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
Request #17169 has been rejected by diabonas [1]: I agree with coderobe's analysis (https://lists.archlinux.org/pipermail/aur- requests/2020-January/036098.html) that juliadoc-git and julia-docs- git appear to be separate projects with different purposes. I could not find an answer by the requester on the aur-requests mailing list, so I am rejecting this request. [1] https://aur.archlinux.org/account/diabonas/
participants (2)
-
notify＠aur.archlinux.org
-
Robin Broda