From 2ba2d279683b23f3331292cfb6234148cceaed39 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sat, 22 Nov 2025 21:48:14 +0000 Subject: [PATCH] Bump version to 1.4.0 and update itp-interface dependency to >=1.4.0 --- pyproject.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index 5a25d02..f9aa294 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -10,7 +10,7 @@ packages = ["src/copra"] [project] name = "copra-theorem-prover" -version = "1.3.0" +version = "1.4.0" authors = [ { name="Amitayush Thakur", email="amitayush@utexas.edu" }, ] @@ -24,7 +24,7 @@ classifiers = [ ] dependencies = [ - "itp-interface>=1.3.0", + "itp-interface>=1.4.0", "openai>=1.99.1", "tiktoken>=0.12.0", # Updated: 0.4.0 incompatible with Python 3.14t, needs PyO3 0.23+ for free-threading "sentencepiece>=0.2.0", # Updated: 0.1.99 lacks Python 3.14t wheels, 0.2.1 has cp314t support