From 08c0f9ec5b69ea4804c4f59deb17e89dcd04af99 Mon Sep 17 00:00:00 2001
From: Oscar Dowson <odow@users.noreply.github.com>
Date: Tue, 12 Dec 2023 11:01:16 +1300
Subject: [PATCH] Update docs/packages.toml

---
 docs/packages.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/packages.toml b/docs/packages.toml
index f150474a7ad..00f4728ae30 100644
--- a/docs/packages.toml
+++ b/docs/packages.toml
@@ -127,7 +127,7 @@
     rev = "v0.5.2"
 [DisjunctiveProgramming]
     user = "hdavid16"
-    rev = "5d814e9023acf25672977632bc9dc111d68ea8ca"
+    rev = "6a4d0ac4a7484e52b1dbff9cee310a73d2d23e81"
     filename = "docs/jump/README.md"
     extension = true
 [EAGO]