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

[notify at aur.archlinux.org]

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/