bug#64601: closed ([PATCH] gnu: agda-cubical: Update to 0.5.)

[GNU bug Tracking System]

Your message dated Sat, 22 Jul 2023 11:31:27 +0800
with message-id <87mszolj00.fsf@envs.net>
and subject line Re: bug#64601: [PATCH] gnu: agda-cubical: Update to 0.5.
has caused the debbugs.gnu.org bug report #64601,
regarding [PATCH] gnu: agda-cubical: Update to 0.5.
to be marked as done.

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


-- 
64601: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64601
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: agda-cubical: Update to 0.5.
>
>
>
>
> Date: 
>
> Thu, 13 Jul 2023 21:04:11 +0200
>
>
>
>
> From: Josselin Poiret <dev@jpoiret.xyz>
>
> ---
>  gnu/packages/agda.scm | 51 ++++++++++++++++++++-----------------------
>  1 file changed, 24 insertions(+), 27 deletions(-)
>
> diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
> index 88626b823c..3748ab7059 100644
> --- a/gnu/packages/agda.scm
> +++ b/gnu/packages/agda.scm
> @@ -262,34 +262,31 @@ (define-public agda-cubical
>    ;; Upstream's HEAD follows the latest Agda release, but they don't release
>    ;; until a newer Agda release comes up, so their releases are always one
>    ;; version late.
> -  (let* ((revision "1")
> -         (commit "814d54b08b360b8e80828065f54b80e3a98a0092"))
> -    (package
> -      (name "agda-cubical")
> -      (version (git-version "0.4" revision commit))
> -      (source (origin
> -                (method git-fetch)
> -                (uri (git-reference
> -                      (url "https://github.com/agda/cubical.git";)
> -                      (commit commit)))
> -                (file-name (git-file-name name version))
> -                (sha256
> -                 (base32
> -                  "0d25gb1qzpx539k62qjsjq4xmzp34qk7n3hmd9y6v8slhrrxw312"))))
> -      (build-system agda-build-system)
> -      (arguments
> -       (list
> -        #:gnu-and-haskell? #t
> -        #:phases
> -        #~(modify-phases %standard-phases
> -            (replace 'build
> -              (lambda _
> -                (invoke "make"))))))
> -      (synopsis "Standard library for Cubical Agda")
> -      (description "A standard library for Cubical Agda, comparable to
> +  (package
> +    (name "agda-cubical")
> +    (version "0.5")
> +    (source (origin
> +              (method git-fetch)
> +              (uri (git-reference
> +                    (url "https://github.com/agda/cubical.git";)
> +                    (commit (string-append "v" version))))
> +              (sha256
> +               (base32
> +                "0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3"))))
> +    (build-system agda-build-system)
> +    (arguments
> +     (list
> +      #:gnu-and-haskell? #t
> +      #:phases
> +      #~(modify-phases %standard-phases
> +          (replace 'build
> +            (lambda _
> +              (invoke "make"))))))
> +    (synopsis "Standard library for Cubical Agda")
> +    (description "A standard library for Cubical Agda, comparable to
>  agda-stdlib but using cubical methods.")
> -      (home-page "https://github.com/agda/cubical";)
> -      (license license:expat))))
> +    (home-page "https://github.com/agda/cubical";)
> +    (license license:expat)))
>  
>  (define-public agda-1lab
>    ;; Upstream doesn't do releases (yet).  Use a commit that builds with 2.6.3,
>
> base-commit: d17879cd0dec60ea7490632910257890f207d6cb
> -- 
> 2.40.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#64601: [PATCH] gnu: agda-cubical: Update to 0.5.
>
>
>
>
> Date: 
>
> Sat, 22 Jul 2023 11:31:27 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Josselin Poiret <dev@jpoiret.xyz> writes:
>
>
> >  gnu/packages/agda.scm | 51 ++++++++++++++++++++-----------------------
> >  1 file changed, 24 insertions(+), 27 deletions(-)
>
> Pushed to master, thank you!
>
>
> --- End Message ---