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

notify at aur.archlinux.org notify at aur.archlinux.org
Thu Jan 2 11:33:32 UTC 2020


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/


More information about the aur-requests mailing list