public name

proof-ninja · Apr 18, 2024 · 7107a08 · 7107a08
1 parent 720c1f5
commit 7107a08
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/bin/dune b/bin/dune
@@ -1,5 +1,4 @@
 (executable
- (public_name zaif)
  (name main)
  (libraries zaif))
 

diff --git a/dune-project b/dune-project
@@ -2,7 +2,7 @@
 
 (name zaif)
 
-(version 0.1.dev)
+(version 0.1.0)
 
 (generate_opam_files true)
 

diff --git a/lib/dune b/lib/dune
@@ -1,4 +1,5 @@
 (library
  (name zaif)
+ (public_name zaif)
  (libraries ; lwt h2 h2-lwt-unix
  cohttp cohttp-lwt-unix hacl-star yojson hex dolog))
diff --git a/zaif.opam b/zaif.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.dev"
+version: "0.1.0"
 synopsis: "A short synopsis"
 description: "A longer description"
 maintainer: ["Yoshihiro Imai"]