Adjust package name casing (#3)

* fix package capitalisation * lower case
T-Brick · Feb 28, 2024 · da61e2a · da61e2a
1 parent afa26ec
commit da61e2a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -37,16 +37,16 @@ elab "#get_libstdcpp" : command =>
 
 #get_libstdcpp -- now available as `libstdcpp` declaration
 
-package «DateTime» where
+package datetime where
   precompileModules := true
   moreLinkArgs := match libstdcpp with | none => #[] | some x => #[x.toString]
   -- add package configuration options here
 
-lean_lib «DateTime» where
+lean_lib DateTime where
   -- add library configuration options here
 
 @[default_target]
-lean_exe «datetime» where
+lean_exe datetime where
   root := `Main
   supportInterpreter := true