From 87e1677d634ef1343824eeacee1a45f8e1da56b6 Mon Sep 17 00:00:00 2001
From: Amitayush Thakur <amitayush@utexas.edu>
Date: Sat, 15 Aug 2026 14:05:26 -0500
Subject: [PATCH] Bump version from 1.11.0 to 1.12.0

---
 pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyproject.toml b/pyproject.toml
index eb54431..8fe5db0 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -10,7 +10,7 @@ packages = ["src/copra"]
 
 [project]
 name = "copra-theorem-prover"
-version = "1.11.0"
+version = "1.12.0"
 authors = [
   { name="Amitayush Thakur", email="amitayush@utexas.edu" },
 ]