[aur-requests] [PRQ#28076] Deletion Request for frama-c-git Rejected

notify at aur.archlinux.org notify at aur.archlinux.org
Wed Sep 8 09:48:36 UTC 2021

Request #28076 has been rejected by alerque [1]:

I disowned the package instead of deleting it. The OOD flag from 1y
ago shows the new upstream location, and the current maintainer
adopted but never pushed an update. The upstream changes look like
they will eliminate the missing dependency, so perhaps an interested
party would rather fix this than have it go away.

[1] https://aur.archlinux.org/account/alerque/

More information about the aur-requests mailing list