Update packages.json

nim-lang · Jan 30, 2025 · 6cc7e18 · 6cc7e18
1 parent 0464902
commit 6cc7e18
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/packages.json b/packages.json
@@ -34564,12 +34564,12 @@
     "web": "https://github.com/nim-lang/errorcodes"
   },
   {
-    "name": "sat",
-    "url": "https://github.com/nim-lang/sat.git",
+    "name": "nimony",
+    "url": "https://github.com/nim-lang/nimony.git",
     "method": "git",
-    "tags": ["SAT", "boolean algebra"],
-    "description": "A SAT solver written in Nim. Used in the Nimble and Atlas package managers.",
+    "tags": ["Nim compiler"],
+    "description": "Nimony is a new Nim implementation that is in heavy development.",
     "license": "MIT",
-    "web": "https://github.com/nim-lang/sat"
+    "web": "https://github.com/nim-lang/nimony"
   }
 ]