ports-mgmt/pkg-provides: Fix github hash

During last package update (from 0.7.2 to 0.7.3) the
version number was increased but not the github hash.

PR: 269567
Reported by: <void@f-m.fm>
MFH: 2023Q1

(cherry picked from commit 610b7c461f2b8a9132a6dc29a8fb33ada6a43d79)