[aur-requests] [PRQ#17353] Merge Request for vrep