Add version to dune-project

See #588 (comment)
yallop · Jul 20, 2023 · 6111854 · 6111854
1 parent 96da6cb
commit 6111854
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -1,5 +1,6 @@
 (lang dune 2.9)
 (name ctypes)
+(version 0.21.1)
 (formatting (enabled_for dune))
 (use_standard_c_and_cxx_flags true)