[aur-requests] [PRQ#28076] Deletion Request for frama-c-git
zoorat [1] filed a deletion request for frama-c-git [2]: Missing 1 dependency, Last Updated: 2019-12-01 01:23, comment by @framac in Out-of-Date "The Frama-C public git repository moved to https://git.frama-c.com/pub/frama-c ; the old Github repository is no longer updated." [1] https://aur.archlinux.org/account/zoorat/ [2] https://aur.archlinux.org/pkgbase/frama-c-git/
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/
participants (1)
-
notify＠aur.archlinux.org