code-languages 1.43.16 → 1.43.17

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (10) hide show
  1. package/README.md +1 -1
  2. package/dist/api.cjs +1 -1
  3. package/dist/api.js +1 -1
  4. package/dist/detect.cjs +1 -1
  5. package/dist/detect.js +1 -1
  6. package/dist/index.cjs +1 -1
  7. package/dist/index.js +1 -1
  8. package/dist/languages/lean.cjs +1 -1
  9. package/dist/languages/lean.js +1 -1
  10. package/package.json +1 -1
package/README.md CHANGED
@@ -614,7 +614,7 @@ from its package subpath.
614
614
  | <img src="https://koka-lang.github.io/koka/doc/images/koka-logo-filled.png" alt="Koka logo" width="24" height="24"> | Koka | `koka` | `.kk` | `3.2.2` | `code-languages/koka` |
615
615
  | <img src="https://upload.wikimedia.org/wikipedia/commons/7/74/Kotlin_Icon.png" alt="Kotlin logo" width="24" height="24"> | Kotlin | `kotlin` | `.kt`, `.kts` | `2.4.10` | `code-languages/kotlin` |
616
616
  | <img src="https://learn.microsoft.com/favicon.ico" alt="KQL logo" width="24" height="24"> | KQL | `kql` | `.kql` | `stable` | `code-languages/kql` |
617
- | <img src="https://cdn.simpleicons.org/leanpub/262425" alt="Lean logo" width="24" height="24"> | Lean | `lean` | `.lean` | `4.32.2` | `code-languages/lean` |
617
+ | <img src="https://cdn.simpleicons.org/leanpub/262425" alt="Lean logo" width="24" height="24"> | Lean | `lean` | `.lean` | `4.33.0` | `code-languages/lean` |
618
618
  | <img src="https://upload.wikimedia.org/wikipedia/commons/8/81/LESS_Logo.svg" alt="Less logo" width="24" height="24"> | Less | `less` | `.less` | `4.8.1` | `code-languages/less` |
619
619
  | <img src="https://raw.githubusercontent.com/ElJijuna/code-languages/main/public/assets/placeholders/lex.svg" alt="Lex logo" width="24" height="24"> | Lex | `lex` | `.l`, `.lex` | `POSIX lex / flex 2.6.4` | `code-languages/lex` |
620
620
  | <img src="https://ligolang.org/img/logo/logo.png" alt="Ligo logo" width="24" height="24"> | Ligo | `ligo` | `.ligo`, `.mligo`, `.religo`, `.jsligo` | `1.x` | `code-languages/ligo` |
package/dist/api.cjs CHANGED
@@ -8641,7 +8641,7 @@ var init_lean = __esm({
8641
8641
  packageManagers: ["Lake", "elan"],
8642
8642
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
8643
8643
  },
8644
- version: "4.32.2",
8644
+ version: "4.33.0",
8645
8645
  logo: "https://cdn.simpleicons.org/leanpub/262425",
8646
8646
  color: "#262425",
8647
8647
  i18n: {
package/dist/api.js CHANGED
@@ -8639,7 +8639,7 @@ var init_lean = __esm({
8639
8639
  packageManagers: ["Lake", "elan"],
8640
8640
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
8641
8641
  },
8642
- version: "4.32.2",
8642
+ version: "4.33.0",
8643
8643
  logo: "https://cdn.simpleicons.org/leanpub/262425",
8644
8644
  color: "#262425",
8645
8645
  i18n: {
package/dist/detect.cjs CHANGED
@@ -7434,7 +7434,7 @@ var lean = {
7434
7434
  packageManagers: ["Lake", "elan"],
7435
7435
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
7436
7436
  },
7437
- version: "4.32.2",
7437
+ version: "4.33.0",
7438
7438
  logo: "https://cdn.simpleicons.org/leanpub/262425",
7439
7439
  color: "#262425",
7440
7440
  i18n: {
package/dist/detect.js CHANGED
@@ -7432,7 +7432,7 @@ var lean = {
7432
7432
  packageManagers: ["Lake", "elan"],
7433
7433
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
7434
7434
  },
7435
- version: "4.32.2",
7435
+ version: "4.33.0",
7436
7436
  logo: "https://cdn.simpleicons.org/leanpub/262425",
7437
7437
  color: "#262425",
7438
7438
  i18n: {
package/dist/index.cjs CHANGED
@@ -8641,7 +8641,7 @@ var init_lean = __esm({
8641
8641
  packageManagers: ["Lake", "elan"],
8642
8642
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
8643
8643
  },
8644
- version: "4.32.2",
8644
+ version: "4.33.0",
8645
8645
  logo: "https://cdn.simpleicons.org/leanpub/262425",
8646
8646
  color: "#262425",
8647
8647
  i18n: {
package/dist/index.js CHANGED
@@ -8639,7 +8639,7 @@ var init_lean = __esm({
8639
8639
  packageManagers: ["Lake", "elan"],
8640
8640
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
8641
8641
  },
8642
- version: "4.32.2",
8642
+ version: "4.33.0",
8643
8643
  logo: "https://cdn.simpleicons.org/leanpub/262425",
8644
8644
  color: "#262425",
8645
8645
  i18n: {
package/dist/languages/lean.cjs CHANGED
@@ -13,7 +13,7 @@ var lean = {
13
13
  packageManagers: ["Lake", "elan"],
14
14
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
15
15
  },
16
- version: "4.32.2",
16
+ version: "4.33.0",
17
17
  logo: "https://cdn.simpleicons.org/leanpub/262425",
18
18
  color: "#262425",
19
19
  i18n: {
package/dist/languages/lean.js CHANGED
@@ -11,7 +11,7 @@ var lean = {
11
11
  packageManagers: ["Lake", "elan"],
12
12
  ecosystems: ["Formal methods", "Mathematics", "Proof assistants"]
13
13
  },
14
- version: "4.32.2",
14
+ version: "4.33.0",
15
15
  logo: "https://cdn.simpleicons.org/leanpub/262425",
16
16
  color: "#262425",
17
17
  i18n: {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "code-languages",
3
- "version": "1.43.16",
3
+ "version": "1.43.17",
4
4
  "description": "Structured metadata for programming languages.",
5
5
  "homepage": "https://github.com/ElJijuna/code-languages#readme",
6
6
  "bugs": {