Update dependencies

MiniZinc · Oct 8, 2024 · 2cacb68 · 2cacb68
1 parent a18d516
commit 2cacb68
Show file tree

Hide file tree

Showing 5 changed files with 670 additions and 622 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -194,4 +194,4 @@
 # -- Options for intersphinx extension ---------------------------------------
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {"https://docs.python.org/": None}
+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
diff --git a/flake.lock b/flake.lock