From 65890dd0a949c09eba9a0684a5b6f27f0d4e9a3c Mon Sep 17 00:00:00 2001
From: Dennis Veatch <dennislveatch@gmail.com>
Date: Wed, 11 Dec 2024 18:32:52 -0500
Subject: [PATCH] camlp5: Bump to 8.03.01.

---
 compilers/camlp5/BUILD   | 1 -
 compilers/camlp5/DETAILS | 6 +++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/compilers/camlp5/BUILD b/compilers/camlp5/BUILD
index f8d8cf92f49..11c1f70c57e 100644
--- a/compilers/camlp5/BUILD
+++ b/compilers/camlp5/BUILD
@@ -1,5 +1,4 @@
 ./configure -prefix /usr \
-            -bindir /usr/bin \
             -libdir $(ocamlfind printconf destdir) \
             -mandir /usr/share/man/man1 \
             -strict &&
diff --git a/compilers/camlp5/DETAILS b/compilers/camlp5/DETAILS
index 13a02ad8d52..591b4eb09b1 100644
--- a/compilers/camlp5/DETAILS
+++ b/compilers/camlp5/DETAILS
@@ -1,11 +1,11 @@
           MODULE=camlp5
-         VERSION=8.02.01
+         VERSION=8.03.01
           SOURCE=$MODULE-$VERSION.tar.gz
  SOURCE_URL_FULL=https://github.com/camlp5/camlp5/archive/refs/tags/$VERSION.tar.gz
-      SOURCE_VFY=sha256:58d4bce0c20fa1151fc2c15f172f5884472e2044a4b0da22aababf46c361e515
+      SOURCE_VFY=sha256:057b8e06590cf29a1bd22b6c83aa5daa816d5cbb2ba2548409d474d7dc10c5b8
         WEB_SITE=https://camlp5.github.io/
          ENTERED=20110829
-         UPDATED=20240304
+         UPDATED=20241211
            SHORT="Camlp5 is a preprocessor-pretty-printer of OCaml"
 PSAFE=no
 cat << EOF