Automated update from private repo

Author: actions-user

pretext/Pipfile

@@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+pretext = "==2.35.0"
+
+[dev-packages]
+
+[requires]
+python_version = "3.13"