diff options
| author | Andreas Enge <andreas@enge.fr> | 2026-01-05 16:50:37 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-01-05 16:52:35 +0100 |
| commit | 6bd2a77b7bc78ed9d827ef9b078ce10745636232 (patch) | |
| tree | 12322d5004561d38a4c86c13cdd8fbfc593514ce /po | |
| parent | e89d3a0857196b3366c18df2a297f05d08ad80c0 (diff) | |
gnu: Remove (gnu packages idris).
* gnu/packages/idris.scm: Remove file.
* gnu/local.mk (GNU_SYSTEM_MODULES), po/packages/POTFILES.in: Unregister file.
Fixes: guix/guix#4391
Change-Id: I03f0eb98456fd478c91cfe45c2334fb947a33229
Diffstat (limited to 'po')
| -rw-r--r-- | po/packages/POTFILES.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/po/packages/POTFILES.in b/po/packages/POTFILES.in index e52851c8b96..ed8a9512b05 100644 --- a/po/packages/POTFILES.in +++ b/po/packages/POTFILES.in @@ -383,7 +383,6 @@ gnu/packages/hardware.scm gnu/packages/haskell-apps.scm gnu/packages/hunspell.scm gnu/packages/icu4c.scm -gnu/packages/idris.scm gnu/packages/idutils.scm gnu/packages/image-processing.scm gnu/packages/image-viewers.scm |