1 files changed, 3 insertions, 0 deletions
diff --git a/mashrepo b/mashrepo
index bdf6cc09..36c84c04 100755
--- a/mashrepo
+++ b/mashrepo
@@ -27,6 +27,9 @@ do
   elif grep -q "^${name}\$" $mash
   then
     ln $rpm $copy && echo "+ $rpm"
+  elif [[ "^${name}" =~ "^php83-" ]]
+  then
+    ln $rpm $copy && echo "+ $rpm"
   else
     if [ $debug = 1 ]
     then	echo "  $rpm (ignored)"