[aur-requests] [PRQ#18621] Merge Request for ghdlsynth-beta-git