[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#74034] [PATCH v5 04/16] gnu: folders: Add lint-hidden-cpe-vendors p
From: |
Nicolas Graves |
Subject: |
[bug#74034] [PATCH v5 04/16] gnu: folders: Add lint-hidden-cpe-vendors property. |
Date: |
Tue, 19 Nov 2024 08:45:52 +0100 |
* gnu/packages/esolangs.scm (folders):
[properties]: Add lint-hindden-cpe-vendors property.
---
gnu/packages/esolangs.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/esolangs.scm b/gnu/packages/esolangs.scm
index 796f8d3f23..58c5307fdc 100644
--- a/gnu/packages/esolangs.scm
+++ b/gnu/packages/esolangs.scm
@@ -117,6 +117,7 @@ (define-public folders
(description "Folders is a programming language, in which programs
are encoded as (nested) directories. Note that the switches you pass to
@command{du} may affect your score when code golfing.")
+ (properties `((lint-hidden-cpe-vendors . ("premio" "jenkins"))))
(license license:expat)))
(define-public shakespeare-spl
--
2.46.0
- [bug#74034] [PATCH v5 01/16] cve: Add cpe-vendor and lint-hidden-cpe-vendors properties., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 02/16] gnu: halibut: Add cpe-vendor property., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 04/16] gnu: folders: Add lint-hidden-cpe-vendors property.,
Nicolas Graves <=
- [bug#74034] [PATCH v5 03/16] gnu: portfolio: Update to 1.0.1., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 07/16] gnu: cli: Add lint-hidden-cpe-vendors property., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 08/16] gnu: h2c: Add lint-hidden-cpe-vendors property., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 11/16] gnu: bwm-ng: Add lint-hidden-cpe-vendors property., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 09/16] gnu: xenon: Update to 0.9.3., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 05/16] gnu: spectra: Add lint-hidden-cpe-vendors property., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 06/16] gnu: express: Add lint-hidden-cpe-vendors property., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 10/16] gnu: bolt: Update to 0.9.8., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 12/16] gnu: onedrive: Update to 2.5.2., Nicolas Graves, 2024/11/19
- [bug#74034] [PATCH v5 13/16] gnu: got: Update to 0.104., Nicolas Graves, 2024/11/19