[aur-requests] [PRQ#3877] Deletion Request for polyml-svn

xrchz [1] filed a deletion request for polyml-svn [2]: Poly/ML development has moved to a git repository. I have replaced this package with polyml-fixes-git. (There could also be a polyml-git for the mainline development version, rather than the fixes-to-released-version here, but I haven't made it because I don't need it at the moment.) I think this polyml-svn package is now obsolete and can be deleted. [1] https://aur.archlinux.org/account/xrchz/ [2] https://aur.archlinux.org/pkgbase/polyml-svn/