[PRQ#81473] Orphan Request for acl2 Accepted

[notify]

Request #81473 has been Accepted by private04 [1].

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