Merge pull request #33 from yrk-pub/master

use name in dune-project
imandra-ai · Jul 17, 2024 · ff26d20 · ff26d20
2 parents 0dd31b4 + 727c92b
commit ff26d20
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -1,6 +1,7 @@
 (lang dune 3.8)
 (using melange 0.1)
 
+(name gcloud)
 (source (github imandra-ai/ocaml-gcloud))
 (authors "Matt Bray <[email protected]>" "Dave Aitken <[email protected]>")
 (maintainers "Imandra <[email protected]>")