[PRQ#37484] Deletion Request for proofgeneral Rejected

[notify]

Request #37484 has been Rejected by muflone [1]:

I think I believe your reasons but this seems a normal fixed version
package, not different from many others packages

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