[aur-requests] [PRQ#30611] Orphan Request for proofgeneral-git

notify at aur.archlinux.org notify at aur.archlinux.org
Wed Dec 15 03:55:54 UTC 2021


micwoj92 [1] filed an orphan request for proofgeneral-git [2]:

out of date for 2 years

[1] https://aur.archlinux.org/account/micwoj92/
[2] https://aur.archlinux.org/pkgbase/proofgeneral-git/


More information about the aur-requests mailing list