packages/tokei: remove custom language patches

nix/packages/by-name/tokei/package.nix

@@ -23,11 +23,6 @@ in {
 
   cargoLock.lockFile = cargoLock;
 
-  patches = [
-    ./skel.patch
-    ./why3.patch
-  ];
-
   buildInputs = lib.optionals stdenv.isDarwin [
     libiconv
     darwin.Security

nix/packages/by-name/tokei/skel.patch

@@ -1,32 +0,0 @@
-diff --git a/languages.json b/languages.json
-index b2899f1..dfeff47 100644
---- a/languages.json
-+++ b/languages.json
-@@ -1406,6 +1406,10 @@
-       "quotes": [["\\\"", "\\\""]],
-       "extensions": ["shader", "cginc"]
-     },
-+    "Skel": {
-+      "multi_line_comments": [["(*", "*)"]],
-+      "extensions": ["skel", "sk"]
-+    },
-     "Slang": {
-       "name": "Slang",
-       "line_comment": ["//"],
-diff --git a/tests/data/skel.sk b/tests/data/skel.sk
-new file mode 100644
-index 0000000..c6e8a68
---- /dev/null
-+++ b/tests/data/skel.sk
-@@ -0,0 +1,11 @@
-+(* 11 lines 5 code 5 comments 1 blanks *)
-+
-+(* ^ a blank line, a comment *)
-+(*
-+a multiline comment
-+*)
-+type ident
-+type term =
-+| Var ident
-+| Lam (ident, term)
-+| App (term, term)

nix/packages/by-name/tokei/why3.patch

@@ -1,30 +0,0 @@
-diff --git a/languages.json b/languages.json
-index dfeff47..0baedb7 100644
---- a/languages.json
-+++ b/languages.json
-@@ -1742,6 +1742,12 @@
-       "line_comment": ["//"],
-       "extensions": ["wgsl"]
-     },
-+    "Why3": {
-+      "name": "Why3",
-+      "quotes": [["\\\"", "\\\""]],
-+      "multi_line_comments": [["(*", "*)"]],
-+      "extensions": ["mlw"]
-+    },
-     "Wolfram": {
-       "quotes": [["\\\"", "\\\""]],
-       "multi_line_comments": [["(*", "*)"]],
-diff --git a/tests/data/why3.mlw b/tests/data/why3.mlw
-new file mode 100644
-index 0000000..0d07bb2
---- /dev/null
-+++ b/tests/data/why3.mlw
-@@ -0,0 +1,7 @@
-+(* 7 lines 3 code 3 comments 1 blanks *)
-+module Exercice3
-+  (* ^ ligne vide *)
-+
-+  val foo (bar) : baz
-+  (* commentaire *)
-+end