Refresh patches
authorStephane Glondu <steph@glondu.net>
Tue, 20 Aug 2024 06:58:34 +0000 (08:58 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 20 Aug 2024 06:58:34 +0000 (08:58 +0200)
commit5a7997d97421be5bf5e8c463c68df5b4bffad098
tree5746db4ab0498b07c2f5b8b6a3bf5d22ffdf781f
parent23e2efeaaa566ad645f075339f77fc6f29ed3117
Refresh patches
debian/patches/0001-Handle-unknown-ocaml-system-as-Linux.patch