From 7a241300bc5522916ffcbca18e25c2dd029d946c Mon Sep 17 00:00:00 2001
From: kyehn <kyehn@users.noreply.github.com>
Date: Sun, 24 Aug 2025 16:33:05 +0800
Subject: [PATCH] yices: remove with lib

---
 pkgs/by-name/yi/yices/package.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pkgs/by-name/yi/yices/package.nix b/pkgs/by-name/yi/yices/package.nix
index 729d88f294d3..0104fea519ed 100644
--- a/pkgs/by-name/yi/yices/package.nix
+++ b/pkgs/by-name/yi/yices/package.nix
@@ -51,11 +51,11 @@ stdenv.mkDerivation (finalAttrs: {
 
   nativeCheckInputs = [ ncurses5 ];
 
-  meta = with lib; {
+  meta = {
     description = "High-performance theorem prover and SMT solver";
     homepage = "https://yices.csl.sri.com";
-    license = licenses.gpl3;
-    platforms = with platforms; linux ++ darwin;
-    maintainers = with maintainers; [ thoughtpolice ];
+    license = lib.licenses.gpl3Plus;
+    platforms = lib.platforms.linux ++ lib.platforms.darwin;
+    maintainers = with lib.maintainers; [ thoughtpolice ];
   };
 })