bug#59375: closed ([PATCH] gnu: Add cl-typo.)

[GNU bug Tracking System]

Your message dated Sat, 19 Nov 2022 12:02:41 +0000
with message-id <87cz9j6tj9.fsf@kitej>
and subject line Re: [bug#59375] [PATCH] gnu: Add cl-typo.
has caused the debbugs.gnu.org bug report #59375,
regarding [PATCH] gnu: Add cl-typo.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
59375: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59375
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add cl-typo.
>
>
>
>
> Date: 
>
> Sat, 19 Nov 2022 04:11:36 +0000
>
>
>
>
> * gnu/packages/lisp-xyz.scm (sbcl-typo, cl-typo, ecl-typo): New
> variables.
> ---
>  gnu/packages/lisp-xyz.scm | 36 ++++++++++++++++++++++++++++++++++++
>  1 file changed, 36 insertions(+)
>
> diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm
> index 1498a9657d..d1f6b9b5e2 100644
> --- a/gnu/packages/lisp-xyz.scm
> +++ b/gnu/packages/lisp-xyz.scm
> @@ -6934,6 +6934,42 @@ (define-public ecl-type-i
>       ;; The tests get stuck indefinitly
>       '(#:tests? #f))))
>
> +(define-public sbcl-typo
> +  (let ((commit "0e883490f81edf2a1be4e5b101d1caec78d7853b")
> +        (revision "0"))
> +    (package
> +      (name "sbcl-typo")
> +      (version (git-version "0.0.0" revision commit))
> +      (source
> +       (origin
> +         (method git-fetch)
> +         (uri (git-reference
> +               (url "https://github.com/marcoheisig/Typo";)
> +               (commit commit)))
> +         (file-name (git-file-name "cl-typo" version))
> +         (sha256
> +          (base32 "08cmkjl3f77rfhxbjyd6f3kinhzak30mdfphnpf73sh1vw4v0vym"))))
> +      (build-system asdf-build-system/sbcl)
> +      (inputs
> +       (list sbcl-alexandria
> +             sbcl-closer-mop
> +             sbcl-introspect-environment
> +             sbcl-trivia
> +             sbcl-trivial-arguments
> +             sbcl-trivial-garbage))
> +      (home-page "https://github.com/marcoheisig/Typo";)
> +      (synopsis "Portable type inference library for Common Lisp")
> +      (description
> +       "Typo is a portable library for Common Lisp that does approximate
> +reasoning about types, but without consing.")
> +      (license license:expat))))
> +
> +(define-public cl-typo
> +  (sbcl-package->cl-source-package sbcl-typo))
> +
> +(define-public ecl-typo
> +  (sbcl-package->ecl-package sbcl-typo))
> +
>  (define-public sbcl-optima
>    (let ((commit "373b245b928c1a5cce91a6cb5bfe5dd77eb36195")
>          (revision "1"))
> --
> 2.38.0
>
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#59375] [PATCH] gnu: Add cl-typo. Date: Sat, 19 Nov 2022 12:02:41 +0000

Patch pushed as c3267528b5a0231b0920d25dff9a927ebd6c5440.
Thanks.

signature.asc
Description: PGP signature

--- End Message ---