dsboger [1] filed a request to merge texlipse [2] into eclipse-texlipse [3]:
Hellow,
I'm following the "Eclipse plugin package guidelines" and renaming texlipse to eclipse-texlipse. I maintain both packages.
thanks! Davi.
[1] https://aur4.archlinux.org/account/dsboger/ [2] https://aur4.archlinux.org/pkgbase/texlipse/ [3] https://aur4.archlinux.org/pkgbase/eclipse-texlipse/
Request #3820 has been accepted by Kyrias [1].
aur-requests@lists.archlinux.org