[PRQ#47480] Deletion Request for autosubst-devel Rejected
Request #47480 has been Rejected by MarsSeed [1]: Deferring low-priority, no-impact request. Will resubmit later. [1] https://aur.archlinux.org/account/MarsSeed/
[PRQ#47480] Deletion Request for autosubst-devel
MarsSeed [1] filed a deletion request for autosubst-devel [2]: Broken, abandoned VCS pkg from 2017. The 'coq86-devel' branch declared as source doesn't exist. [a] [a]: https://github.com/coq-community/autosubst/branches [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.o