2 files changed, 5 insertions, 3 deletions
diff --git a/extra.old.json b/extra.old.json
index 68aeeb4..ffbb072 100644
--- a/extra.old.json
+++ b/extra.old.json
@@ -1642,8 +1642,8 @@
       "version": "4.0.3"
     },
     "python-hypothesis": {
-      "version": "6.115.6",
-      "url": "https://pypi.org/project/hypothesis/6.115.6/"
+      "version": "6.116.0",
+      "url": "https://pypi.org/project/hypothesis/6.116.0/"
     },
     "python-icalendar": {
       "version": "5.0.13",
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"