From: Stéphane Glondu <glondu@debian.org>
Date: Sat, 11 Jan 2025 12:04:57 +0000 (+0100)
Subject: Update upstream source from tag 'upstream/5.3.0'
X-Git-Tag: archive/raspbian/5.3.0-2+rpi1^2~20
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=962347d39befde421acfa5069447fb622bad117e;p=ocaml.git

Update upstream source from tag 'upstream/5.3.0'

Update to upstream version '5.3.0'
with Debian dir 43379d429d7155411cc821cd34cd134323127be1
---

962347d39befde421acfa5069447fb622bad117e