From 8166d5b81ed6ca32434fb4e66fa8306a28e4949b Mon Sep 17 00:00:00 2001 From: Jean-Pierre De Jesus DIAZ Date: Tue, 5 Mar 2024 18:17:13 +0100 Subject: [PATCH] gnu: raspi-gpio: Make public. As it's unclear why it's not. * gnu/packages/raspberry-pi.scm (raspi-gpio): Make variable public. Change-Id: Iaf2789120a726d702d97c3a30a32e3b2cf5da3f1 Signed-off-by: Christopher Baines --- 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 fb6434f57d..c4f03c3ed9 100644 --- a/gnu/packages/raspberry-pi.scm +++ b/gnu/packages/raspberry-pi.scm @@ -85,7 +85,7 @@ used in the Raspberry Pi") (supported-systems '("armhf-linux" "aarch64-linux")) (license license:gpl3))) -(define raspi-gpio +(define-public raspi-gpio (let ((commit "6d0769ac04760b6e9f33b4aa1f11c682237bf368") (revision "1")) (package