emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#50821: closed ([PATCH] gnu: ocaml-extlib: Update to 1.7.8.)


From: GNU bug Tracking System
Subject: bug#50821: closed ([PATCH] gnu: ocaml-extlib: Update to 1.7.8.)
Date: Fri, 08 Oct 2021 02:43:02 +0000

Your message dated Fri, 8 Oct 2021 04:42:22 +0200
with message-id <20211008044222.0f3bc20d@tachikoma.lepiller.eu>
and subject line Re: [PATCH] gnu: ocaml-extlib: Update to 1.7.8.
has caused the debbugs.gnu.org bug report #50821,
regarding [PATCH] gnu: ocaml-extlib: Update to 1.7.8.
to be marked as done.

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


-- 
50821: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50821
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH] gnu: ocaml-extlib: Update to 1.7.8. Date: Sun, 26 Sep 2021 18:01:09 +0200
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8.
---
 gnu/packages/ocaml.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index e30bd2f613..12f0edc60e 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -538,14 +538,14 @@ (define-public camlidl
 (define-public ocaml-extlib
   (package
     (name "ocaml-extlib")
-    (version "1.7.7")
+    (version "1.7.8")
     (source (origin
               (method url-fetch)
               (uri (string-append "https://ygrek.org/p/release/ocaml-extlib/";
                                   "extlib-" version ".tar.gz"))
               (sha256
                (base32
-                "1sxmzc1mx3kg62j8kbk0dxkx8mkf1rn70h542cjzrziflznap0s1"))))
+                "0npq4hq3zym8nmlyji7l5cqk6drx2rkcx73d60rxqh5g8dla8p4k"))))
     (build-system ocaml-build-system)
     (arguments
      `(#:phases

base-commit: 8c6c33a2a5bf385e1589b405ee7f842684ed80c1
-- 
2.33.0






--- End Message ---
--- Begin Message --- Subject: Re: [PATCH] gnu: ocaml-extlib: Update to 1.7.8. Date: Fri, 8 Oct 2021 04:42:22 +0200
Pushed to master as 8b9d17e770d821fa3dcc7d658e43a8e7081ba244, thanks!


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]