all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Giacomo Leidi via Guix-patches via <guix-patches@gnu.org>
To: 74233@debbugs.gnu.org
Cc: Giacomo Leidi <goodoldpaul@autistici.org>,
	Efraim Flashner <efraim@flashner.co.il>
Subject: [bug#74233] [PATCHv2 rust-team 04/40] gnu: Add rust-option-operations-0.5.
Date: Thu,  7 Nov 2024 23:21:49 +0100	[thread overview]
Message-ID: <6ee089d5e8d39b78a0636587c6064276e6eb30d1.1731018145.git.goodoldpaul@autistici.org> (raw)
In-Reply-To: <a161eaf11e17153794249a814b41a809efd5a3d5.1731018145.git.goodoldpaul@autistici.org>

* gnu/packages/crates-io.scm (rust-option-operations-0.5): New variable;
(rust-option-operations-0.4): inherit from rust-option-operations-0.5.

Change-Id: I2068d7a15ede8564638ea5e73e84b47f11221158
---
 gnu/packages/crates-io.scm | 21 ++++++++++++++++++---
 1 file changed, 18 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 55a2203451..b84031ed60 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -51365,17 +51365,17 @@ (define-public rust-option-ext-0.2
     (description "Extends `Option` with additional operations")
     (license license:mpl2.0)))
 
-(define-public rust-option-operations-0.4
+(define-public rust-option-operations-0.5
   (package
     (name "rust-option-operations")
-    (version "0.4.1")
+    (version "0.5.0")
     (source (origin
               (method url-fetch)
               (uri (crate-uri "option-operations" version))
               (file-name (string-append name "-" version ".tar.gz"))
               (sha256
                (base32
-                "18jhy5sc56gwdvqc3asr6az685zc9zkgv8p8n69s94bcj6bibc22"))))
+                "1l13n9487gk6063zzjdwzqbig78n8mh6dxsbiq9nbaxfn5xx49kw"))))
     (build-system cargo-build-system)
     (arguments
      (list #:cargo-inputs `(("rust-paste" ,rust-paste-1))))
@@ -51386,6 +51386,21 @@ (define-public rust-option-operations-0.4
 usability when dealing with Rust Options.")
     (license (list license:expat license:asl2.0))))
 
+(define-public rust-option-operations-0.4
+  (package
+    (inherit rust-option-operations-0.5)
+    (name "rust-option-operations")
+    (version "0.4.1")
+    (source (origin
+              (method url-fetch)
+              (uri (crate-uri "option-operations" version))
+              (file-name (string-append name "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "18jhy5sc56gwdvqc3asr6az685zc9zkgv8p8n69s94bcj6bibc22"))))
+    (arguments
+     (list #:cargo-inputs `(("rust-paste" ,rust-paste-1))))))
+
 (define-public rust-option-set-0.2
   (package
     (name "rust-option-set")
-- 
2.46.0





  parent reply	other threads:[~2024-11-07 22:25 UTC|newest]

Thread overview: 84+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-11-06 20:45 [bug#74233] [PATCH rust-team] Add rust-aperture-0.3 paul via Guix-patches via
2024-11-06 20:48 ` [bug#74233] [PATCH rust-team 01/40] gnu: Add rust-search-provider-0.8 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 02/40] gnu: Add rust-rust-argon2-2.0 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 03/40] gnu: Add rust-gstreamer-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 04/40] gnu: Add rust-option-operations-0.5 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 05/40] gnu: Add rust-pretty-hex-0.4 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 06/40] gnu: Add rust-gstreamer-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 07/40] gnu: Add rust-gstreamer-base-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 08/40] gnu: Add rust-atomic-refcell-0.1 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 09/40] gnu: Add rust-gstreamer-base-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 10/40] gnu: Add rust-gstreamer-video-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 11/40] gnu: Add rust-gstreamer-check-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 12/40] gnu: Add rust-gstreamer-check-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 13/40] gnu: Add rust-gstreamer-video-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 14/40] gnu: Add rust-gstreamer-audio-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 15/40] gnu: Add rust-gstreamer-audio-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 16/40] gnu: Add rust-gstreamer-pbutils-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 17/40] gnu: Add rust-gstreamer-pbutils-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 18/40] gnu: Add rust-gst-plugin-version-helper-0.8 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 19/40] gnu: Add rust-gdk4-wayland-sys-0.7 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 20/40] gnu: Add rust-khronos-egl-5 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 21/40] gnu: Add rust-xkbcommon-sys-1.4 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 22/40] gnu: Add rust-xkb-0.3 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 23/40] gnu: Add rust-gdk4-wayland-0.7 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 24/40] gnu: Add rust-gdk4-x11-sys-0.7 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 25/40] gnu: Add rust-gdk4-x11-0.7 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 26/40] gnu: Add rust-gstreamer-gl-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 27/40] gnu: Add rust-gstreamer-gl-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 28/40] gnu: Add rust-gstreamer-allocators-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 29/40] gnu: Add rust-gstreamer-gl-egl-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 30/40] gnu: Add rust-gstreamer-gl-egl-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 31/40] gnu: Add rust-gstreamer-gl-wayland-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 32/40] gnu: Add rust-gstreamer-gl-wayland-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 33/40] gnu: Add rust-gstreamer-gl-x11-sys Giacomo Leidi via Guix-patches via
2024-11-06 20:48   ` [bug#74233] [PATCH rust-team 34/40] gnu: Add rust-gstreamer-gl-x11-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:49   ` [bug#74233] [PATCH rust-team 35/40] gnu: Add rust-gstreamer-allocators-0.21 Giacomo Leidi via Guix-patches via
2024-11-06 20:49   ` [bug#74233] [PATCH rust-team 36/40] gnu: Add rust-gdk4-win32-sys-0.7 Giacomo Leidi via Guix-patches via
2024-11-06 20:49   ` [bug#74233] [PATCH rust-team 37/40] gnu: Add rust-gdk4-win32-0.7 Giacomo Leidi via Guix-patches via
2024-11-06 20:49   ` [bug#74233] [PATCH rust-team 38/40] gnu: Add rust-gst-plugin-gtk4-0.11 Giacomo Leidi via Guix-patches via
2024-11-06 20:49   ` [bug#74233] [PATCH rust-team 39/40] gnu: Add pango-1.51 Giacomo Leidi via Guix-patches via
2024-11-07 21:41     ` Liliana Marie Prikler
2024-11-07 21:41       ` paul via Guix-patches via
2024-11-07 22:22         ` paul via Guix-patches via
2024-11-06 20:49   ` [bug#74233] [PATCH rust-team 40/40] gnu: Add rust-aperture-0.3 Giacomo Leidi via Guix-patches via
2024-11-07 22:21 ` [bug#74233] [PATCHv2 rust-team 01/40] gnu: Add rust-search-provider-0.8 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 02/40] gnu: Add rust-rust-argon2-2.0 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 03/40] gnu: Add rust-gstreamer-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` Giacomo Leidi via Guix-patches via [this message]
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 05/40] gnu: Add rust-pretty-hex-0.4 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 06/40] gnu: Add rust-gstreamer-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 07/40] gnu: Add rust-gstreamer-base-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 08/40] gnu: Add rust-atomic-refcell-0.1 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 09/40] gnu: Add rust-gstreamer-base-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 10/40] gnu: Add rust-gstreamer-video-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 11/40] gnu: Add rust-gstreamer-check-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 12/40] gnu: Add rust-gstreamer-check-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 13/40] gnu: Add rust-gstreamer-video-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:21   ` [bug#74233] [PATCHv2 rust-team 14/40] gnu: Add rust-gstreamer-audio-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 15/40] gnu: Add rust-gstreamer-audio-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 16/40] gnu: Add rust-gstreamer-pbutils-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 17/40] gnu: Add rust-gstreamer-pbutils-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 18/40] gnu: Add rust-gst-plugin-version-helper-0.8 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 19/40] gnu: Add rust-gdk4-wayland-sys-0.7 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 20/40] gnu: Add rust-khronos-egl-5 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 21/40] gnu: Add rust-xkbcommon-sys-1.4 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 22/40] gnu: Add rust-xkb-0.3 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 23/40] gnu: Add rust-gdk4-wayland-0.7 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 24/40] gnu: Add rust-gdk4-x11-sys-0.7 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 25/40] gnu: Add rust-gdk4-x11-0.7 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 26/40] gnu: Add rust-gstreamer-gl-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 27/40] gnu: Add rust-gstreamer-gl-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 28/40] gnu: Add rust-gstreamer-allocators-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 29/40] gnu: Add rust-gstreamer-gl-egl-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 30/40] gnu: Add rust-gstreamer-gl-egl-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 31/40] gnu: Add rust-gstreamer-gl-wayland-sys-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 32/40] gnu: Add rust-gstreamer-gl-wayland-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 33/40] gnu: Add rust-gstreamer-gl-x11-sys Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 34/40] gnu: Add rust-gstreamer-gl-x11-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 35/40] gnu: Add rust-gstreamer-allocators-0.21 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 36/40] gnu: Add rust-gdk4-win32-sys-0.7 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 37/40] gnu: Add rust-gdk4-win32-0.7 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 38/40] gnu: Add rust-gst-plugin-gtk4-0.11 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 39/40] gnu: Add pango-1.52 Giacomo Leidi via Guix-patches via
2024-11-07 22:22   ` [bug#74233] [PATCHv2 rust-team 40/40] gnu: Add rust-aperture-0.3 Giacomo Leidi via Guix-patches via

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=6ee089d5e8d39b78a0636587c6064276e6eb30d1.1731018145.git.goodoldpaul@autistici.org \
    --to=guix-patches@gnu.org \
    --cc=74233@debbugs.gnu.org \
    --cc=efraim@flashner.co.il \
    --cc=goodoldpaul@autistici.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.