[PRQ#59238] Deletion Request for roboptim-core-plugin-eigen-git Accepted

21 Apr 2024

      Request #59238 has been Accepted by muflone [1]:

[Autogenerated] Accepted deletion for roboptim-core-plugin-eigen-git.

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

notify＠aur.archlinux.org