Skip to content

Commit 7ba5356

Browse files
committed
Release version 1.2.6
1 parent 618cf2c commit 7ba5356

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎Code/pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
44

55
[project]
66
name = "model-checker"
7-
version = "1.2.5"
7+
version = "1.2.6"
88
description = "A hyperintensional theorem prover for developing and and exploring programmatic semantic theories."
99
authors = [
1010
{ name = "Benjamin Brast-McKie", email = "benbrastmckie@gmail.com" },

0 commit comments

Comments
 (0)