diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-01-11 12:59:20 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-01-13 08:56:21 +0100 |
| commit | d1cddccb4782e5c2ce98f2242c401ee08d36ec68 (patch) | |
| tree | ae8a14ca8dbf73d275f8ed3c6c3762a0d1e6fe08 | |
| parent | 424f88f6f49bfc69ffd7a54b20cc1f58feb24305 (diff) | |
gnu: Remove imgui-1.87.
* gnu/packages/toolkits.scm (imgui-1.87): Delete variable.
Change-Id: I461c5295ac47efa0b767270115560dcd45117ebe
| -rw-r--r-- | gnu/packages/toolkits.scm | 16 |
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.") (base32 "1lqcsyqj5m4d4g390x7n3jvjanrnsf64fgjxn51v1kc02dw28gpa")))))) -(define-public imgui-1.87 - (package - (inherit imgui) - (name "imgui") - (version "1.87") - (source (origin - (inherit (package-source imgui)) - (method git-fetch) - (uri (git-reference - (url "https://github.com/ocornut/imgui") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "10qil22s5qak3as41787iz273sibpq1bq66bakgn7yvhj5fym6hz")))))) - (define-public imgui-1.86 (package (inherit imgui) |