From 4084e5ecfafa5d29e9b1321c4feea8ccaeb807d7 Mon Sep 17 00:00:00 2001
From: Ivan Vasilev <20002mc@gmail.com>
Date: Sun, 31 May 2026 14:55:53 +0300
Subject: [PATCH 1/2] feat: new icon: idris (original)
---
devicon.json | 18 ++++++++++++++++++
icons/idris/idris-original.svg | 3 +++
2 files changed, 21 insertions(+)
create mode 100644 icons/idris/idris-original.svg
diff --git a/devicon.json b/devicon.json
index bd63e95a5..c068245e3 100644
--- a/devicon.json
+++ b/devicon.json
@@ -6053,6 +6053,24 @@
},
"color": "#00c6e2",
"aliases": []
+ },
+ {
+ "name": "idris",
+ "altnames": ["idris2"],
+ "tags": [
+ "language",
+ "functional"
+ ],
+ "versions": {
+ "svg": [
+ "original",
+ ],
+ "font": [
+ "original",
+ ]
+ },
+ "color": "#8a0819",
+ "aliases": []
},
{
"name": "ie10",
diff --git a/icons/idris/idris-original.svg b/icons/idris/idris-original.svg
new file mode 100644
index 000000000..c2c7261a0
--- /dev/null
+++ b/icons/idris/idris-original.svg
@@ -0,0 +1,3 @@
+
From 67273dd20a874e6b2bff033bd00152287d0c8081 Mon Sep 17 00:00:00 2001
From: Yash
Date: Mon, 14 Sep 2026 15:53:03 +0530
Subject: [PATCH 2/2] Replace old SVG format with updated SVG
---
icons/idris/idris-original.svg | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/icons/idris/idris-original.svg b/icons/idris/idris-original.svg
index c2c7261a0..6afbf37dd 100644
--- a/icons/idris/idris-original.svg
+++ b/icons/idris/idris-original.svg
@@ -1,3 +1 @@
-
+