From 63be704e25228b126ab72eb5a987db28f6928a1f Mon Sep 17 00:00:00 2001
From: jgart <jgart@dismail.de>
Date: Wed, 25 Jun 2025 16:34:40 -0400
Subject: [PATCH] gnu: Add clasp-rt.

* gnu/packages/lisp-check.scm (clasp-rt): New variable.

Change-Id: I59753fb945a0c6d0f811c1b1bf1bc1c3bdb49561
---
 gnu/packages/lisp-check.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gnu/packages/lisp-check.scm b/gnu/packages/lisp-check.scm
index 655da381a8a43c8a8fb3deb43717fe97368351e5..bb5b808cf6c6d9bde5e4c18d3fb2a669e994a11f 100644
--- a/gnu/packages/lisp-check.scm
+++ b/gnu/packages/lisp-check.scm
@@ -945,6 +945,9 @@ This is intended to be a successor of Prove.")
 (define-public ecl-rt
   (sbcl-package->ecl-package sbcl-rt))
 
+(define-public clasp-rt
+  (sbcl-package->clasp-package sbcl-rt))
+
 (define-public sbcl-should-test
   (let ((commit "48facb9f9c07aeceb71fc0c48ce17fd7d54a09d4")
         (revision "0"))