[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#69567] [PATCH 1/1] gnu: raspi-gpio: Make public.
|
From: |
Jean-Pierre De Jesus DIAZ |
|
Subject: |
[bug#69567] [PATCH 1/1] gnu: raspi-gpio: Make public. |
|
Date: |
Tue, 5 Mar 2024 18:17:13 +0100 |
* gnu/packages/raspberry-pi.scm (raspi-gpio): Make variable public.
Change-Id: Iaf2789120a726d702d97c3a30a32e3b2cf5da3f1
---
gnu/packages/raspberry-pi.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/raspberry-pi.scm b/gnu/packages/raspberry-pi.scm
index 5c25ed96da..c8b44d5b6c 100644
--- a/gnu/packages/raspberry-pi.scm
+++ b/gnu/packages/raspberry-pi.scm
@@ -85,7 +85,7 @@ (define-public bcm2835
(supported-systems '("armhf-linux" "aarch64-linux"))
(license license:gpl3)))
-(define raspi-gpio
+(define-public raspi-gpio
(let ((commit "6d0769ac04760b6e9f33b4aa1f11c682237bf368")
(revision "1"))
(package
--
2.41.0