aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorLukasz Kasprzak <lukas@labunix.xyz>2026-09-03 21:13:33 +0200
committerLukasz Kasprzak <lukas@labunix.xyz>2026-09-03 21:13:33 +0200
commitfe136f0952284b9a339252926dfd4675c4a7c3c6 (patch)
tree82e358bc2e7f95c7133481e6a5f6a347dbc605c5 /dune-project
parentb14a3078c1a4db87010f5df955442bf1e440e0ec (diff)
downloadcolitur-fe136f0952284b9a339252926dfd4675c4a7c3c6.tar.gz
colitur-fe136f0952284b9a339252926dfd4675c4a7c3c6.zip
chore: 1.2.1
Ten wrong scripture references reached users; nothing else about the engine changed and no output format moved. A patch bump. README's status line and test count follow the release, as they have to: the count is 917 under the exhaustive sweep, not 916.
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project2
1 files changed, 1 insertions, 1 deletions
diff --git a/dune-project b/dune-project
index 9b47223..8287bf1 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,6 @@
(lang dune 3.0)
(name colitur)
-(version 1.2.0)
+(version 1.2.1)
(generate_opam_files true)
(cram enable)