aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorAlban Gruin2021-09-19 12:59:24 +0200
committerAlban Gruin2021-09-19 13:02:59 +0200
commit04e2797550154f1567bbe2ede09d6961cd7da71b (patch)
tree5200f7c5bda0f047be1a3e940f8994ead5870ce9 /dune-project
parentb41fc88e5fe581ba74f7879de7f85517dd6cf587 (diff)
µCS v0.3.0v0.3.0
Version name : ★ GEMINI II ★, in reference of the Gemini II mission, and NROL-13. This marks the transition to NRO references to crewed space mission references. Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project1
1 files changed, 1 insertions, 0 deletions
diff --git a/dune-project b/dune-project
index 9fe70b1..0d83361 100644
--- a/dune-project
+++ b/dune-project
@@ -1,5 +1,6 @@
(lang dune 2.0)
(name ucs)
+(version 0.3.0)
(package
(name ucs))