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

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

bug#60683: closed ([PATCH 13/39] gnu: Add ocaml-mirage-time.)


From: GNU bug Tracking System
Subject: bug#60683: closed ([PATCH 13/39] gnu: Add ocaml-mirage-time.)
Date: Fri, 17 Feb 2023 15:53:05 +0000

Your message dated Fri, 17 Feb 2023 15:50:00 +0000
with message-id <873574mgrg.fsf@cbaines.net>
and subject line Re: [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name.
has caused the debbugs.gnu.org bug report #60673,
regarding [PATCH 13/39] gnu: Add ocaml-mirage-time.
to be marked as done.

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


-- 
60673: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60673
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH 13/39] gnu: Add ocaml-mirage-time. Date: Mon, 9 Jan 2023 01:35:03 +0100
From: raingloom <raingloom@riseup.net>

* gnu/packages/ocaml.scm (ocaml-mirage-time): New variable.
---
 gnu/packages/ocaml.scm | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 83413fa541..53252aac03 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3809,6 +3809,25 @@ (define-public ocaml-duration
 provided check the input and raise on negative or out of bound input.")
     (license license:isc)))
 
+(define-public ocaml-mirage-time
+  (package
+    (name "ocaml-mirage-time")
+    (version "3.0.0")
+    (source (origin
+              (method url-fetch)
+              (uri
+               
"https://github.com/mirage/mirage-time/releases/download/v3.0.0/mirage-time-v3.0.0.tbz";)
+              (sha256
+               (base32
+                "0z5xkhlgyhm22wyhwpf9r0rn4125cc3cxj6ccavyiiz2b2dr8h0d"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-lwt ocaml-duration))
+    (home-page "https://github.com/mirage/mirage-time";)
+    (synopsis "Time operations for MirageOS")
+    (description
+     "Defines the signature for time-related operations for MirageOS.")
+    (license license:isc)))
+
 (define-public ocaml-mirage-unix
   (package
     (name "ocaml-mirage-unix")
-- 
2.38.1




--- End Message ---
--- Begin Message --- Subject: Re: [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name. Date: Fri, 17 Feb 2023 15:50:00 +0000 User-agent: mu4e 1.8.11; emacs 28.2
Julien Lepiller <julien@lepiller.eu> writes:

> https://qa.guix.gnu.org/issue/60673 has picked it up at least :). We
> still need to wait for a few builds.

Everything looks to have built on x86_64-linux and aarch64-linux, plus
there are no introduced lint warnings now (for the checkers the data
service runs at least), so I've gone ahead and pushed these patches to
master as 48724a66422e02995e62e2f707dcd9087d43bee5.

Thanks,

Chris

Attachment: signature.asc
Description: PGP signature


--- End Message ---

reply via email to

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