[PRQ#56690] Deletion Request for cryptol-git Accepted

[notify]

Request #56690 has been Accepted by serebit [1]:

[Autogenerated] Accepted deletion for cryptol-git.

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