From d1c419c55f97d4db9d62fb18e9c9802a999af2fc Mon Sep 17 00:00:00 2001
From: David Runge <dave@sleepmap.de>
Date: Fri, 1 Nov 2024 11:25:51 +0100
Subject: Update python-hypothesis

Signed-off-by: David Runge <dave@sleepmap.de>
---
 extra.old.json~ | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'extra.old.json~')

diff --git a/extra.old.json~ b/extra.old.json~
index 87a9b43..68aeeb4 100644
--- a/extra.old.json~
+++ b/extra.old.json~
@@ -2416,7 +2416,9 @@
       "version": "5.0.1"
     },
     "stochas": {
-      "version": "v1.3.10"
+      "version": "v1.3.12",
+      "gitref": "refs/tags/v1.3.12",
+      "revision": "c49e2a199e68c99235ae54b73612c1ebce45c5ce"
     },
     "suil": {
       "version": "v0.10.20"
-- 
cgit v1.2.3-70-g09d2