[aur-requests] [PRQ#22683] Merge Request for eigen3-hg