summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorCayetano Santos <csantosb@inventati.org>2026-01-11 12:59:20 +0100
committerCayetano Santos <csantosb@inventati.org>2026-01-13 08:56:21 +0100
commitd1cddccb4782e5c2ce98f2242c401ee08d36ec68 (patch)
treeae8a14ca8dbf73d275f8ed3c6c3762a0d1e6fe08 /gnu
parent424f88f6f49bfc69ffd7a54b20cc1f58feb24305 (diff)
gnu: Remove imgui-1.87.
* gnu/packages/toolkits.scm (imgui-1.87): Delete variable. Change-Id: I461c5295ac47efa0b767270115560dcd45117ebe
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/toolkits.scm16
1 files changed, 0 insertions, 16 deletions
diff --git a/gnu/packages/toolkits.scm b/gnu/packages/toolkits.scm
index 34a84157319..f8f7364fdd2 100644
--- a/gnu/packages/toolkits.scm
+++ b/gnu/packages/toolkits.scm
@@ -160,22 +160,6 @@ standard operating system features.")
160 (base32 160 (base32
161 "1lqcsyqj5m4d4g390x7n3jvjanrnsf64fgjxn51v1kc02dw28gpa")))))) 161 "1lqcsyqj5m4d4g390x7n3jvjanrnsf64fgjxn51v1kc02dw28gpa"))))))
162 162
163(define-public imgui-1.87
164 (package
165 (inherit imgui)
166 (name "imgui")
167 (version "1.87")
168 (source (origin
169 (inherit (package-source imgui))
170 (method git-fetch)
171 (uri (git-reference
172 (url "https://github.com/ocornut/imgui")
173 (commit (string-append "v" version))))
174 (file-name (git-file-name name version))
175 (sha256
176 (base32
177 "10qil22s5qak3as41787iz273sibpq1bq66bakgn7yvhj5fym6hz"))))))
178
179(define-public imgui-1.86 163(define-public imgui-1.86
180 (package 164 (package
181 (inherit imgui) 165 (inherit imgui)