diff options
author | jgart <jgart@dismail.de> | 2025-06-25 16:34:40 -0400 |
---|---|---|
committer | jgart <jgart@dismail.de> | 2025-06-25 16:34:40 -0400 |
commit | 63be704e25228b126ab72eb5a987db28f6928a1f (patch) | |
tree | 7d99e07f58ee6d17180e2dc07fba271517454cb2 /gnu/packages/lisp-check.scm | |
parent | 2cad215c237d8add2e03f5bcc9f023cb39370d9f (diff) |
gnu: Add clasp-rt.
* gnu/packages/lisp-check.scm (clasp-rt): New variable.
Change-Id: I59753fb945a0c6d0f811c1b1bf1bc1c3bdb49561
Diffstat (limited to 'gnu/packages/lisp-check.scm')
-rw-r--r-- | gnu/packages/lisp-check.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/lisp-check.scm b/gnu/packages/lisp-check.scm index 655da381a8..bb5b808cf6 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")) |