Pointed Catch2 dependency to github URI.

Created by  BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf  on July 17, 2024
CUVZBDCZUIM4ONQ2BEELC6D566CQZJ4XFVH6XSMK3TBQIXY47YUQC
In channels
main
Change contents