GNU bug report logs - #60673
[PATCH 01/39] gnu: Add ocaml-domain-name.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Csepp <raingloom <at> riseup.net>
Subject: bug#60682: closed (Re: [bug#60673] [PATCH 01/39] gnu: Add
 ocaml-domain-name.)
Date: Fri, 17 Feb 2023 15:53:05 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#60673: [PATCH 12/39] gnu: Add ocaml-mirage-unix.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 60682 <at> debbugs.gnu.org.

-- 
60673: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60673
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Christopher Baines <mail <at> cbaines.net>
To: raingloom <at> riseup.net
Cc: Julien Lepiller <julien <at> lepiller.eu>, 60673-done <at> debbugs.gnu.org,
 guix-patches <at> gnu.org
Subject: Re: [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name.
Date: Fri, 17 Feb 2023 15:50:00 +0000

[Message part 3 (text/plain, inline)]

Julien Lepiller <julien <at> 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

[signature.asc (application/pgp-signature, inline)]

[Message part 5 (message/rfc822, inline)]

From: Csepp <raingloom <at> riseup.net>
To: guix-patches <at> gnu.org
Cc: raingloom <raingloom <at> riseup.net>
Subject: [PATCH 12/39] gnu: Add ocaml-mirage-unix.
Date: Mon,  9 Jan 2023 01:35:02 +0100

From: raingloom <raingloom <at> riseup.net>

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

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 447b537637..83413fa541 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3809,6 +3809,26 @@ (define-public ocaml-duration
 provided check the input and raise on negative or out of bound input.")
     (license license:isc)))
 
+(define-public ocaml-mirage-unix
+  (package
+    (name "ocaml-mirage-unix")
+    (version "5.0.1")
+    (source (origin
+              (method url-fetch)
+              (uri
+               "https://github.com/mirage/mirage-unix/releases/download/v5.0.1/mirage-unix-5.0.1.tbz")
+              (sha256
+               (base32
+                "1y44hvsd5lxqbazwkv9n6cn936lpn8l7v82wf55w4183fp70nnjk"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-lwt ocaml-duration ocaml-mirage-runtime))
+    (home-page "https://github.com/mirage/mirage-unix")
+    (synopsis "Unix core platform libraries for MirageOS")
+    (description
+     "This package provides the MirageOS `OS` library for Unix targets, which
+handles the main loop and timers.")
+    (license license:isc)))
+
 (define-public ocaml-ocurl
   (package
     (name "ocaml-ocurl")
-- 
2.38.1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.