remove datetime dependency

I18n/PO/Write.lean

@@ -1,6 +1,7 @@
 import I18n.PO.ToString
 import I18n.Translate
-import DateTime
+import Time
+-- import DateTime
 
 /-! # Create PO-file
 
@@ -35,7 +36,7 @@ def createPOTemplate : CommandElabM Unit := do
     header := {
       projectIdVersion := s!"{projectName} v{Lean.versionString}"
       reportMsgidBugsTo := langConfig.translationContactEmail
-      potCreationDate := (← DateTime.now).extended_format -- Time.getLocalTime
+      potCreationDate := ← Time.getLocalTime -- (← DateTime.now).extended_format
       language := langConfig.sourceLang.toString }
     entries := keys }
   poFile.save (path / fileName)

lake-manifest.json

@@ -1,14 +1,11 @@
 {"version": 7,
  "packagesDir": ".lake/packages",
  "packages":
- [{"url": "https://github.com/T-Brick/DateTime.git",
-   "type": "git",
-   "subDir": null,
-   "rev": "da61e2a33603306a2466f4fbda0d225dc95384d2",
-   "name": "datetime",
+ [{"type": "path",
+   "name": "time",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
    "inherited": false,
+   "dir": "./time",
    "configFile": "lakefile.lean"}],
  "name": "i18n",
  "lakeDir": ".lake"}

lakefile.lean

@@ -4,8 +4,8 @@ open Lake DSL
 package i18n where
   -- add package configuration options here
 
-require datetime from git "https://github.com/T-Brick/DateTime.git" @ "main"
--- require time from "time"
+-- require datetime from git "https://github.com/T-Brick/DateTime.git" @ "main"
+require time from "time"
 
 @[default_target]
 lean_lib I18n where