From c67573daa23b2377e9ea8e370e6d231b54e12794 Mon Sep 17 00:00:00 2001
From: pancaek <20342389+pancaek@users.noreply.github.com>
Date: Mon, 15 Jun 2026 11:18:13 -0700
Subject: [PATCH] abc-verifier: update license to be more precise

---
 pkgs/by-name/ab/abc-verifier/package.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/by-name/ab/abc-verifier/package.nix b/pkgs/by-name/ab/abc-verifier/package.nix
index d88b202e3419..f992190b36b0 100644
--- a/pkgs/by-name/ab/abc-verifier/package.nix
+++ b/pkgs/by-name/ab/abc-verifier/package.nix
@@ -37,7 +37,7 @@ stdenv.mkDerivation (finalAttrs: {
   meta = {
     description = "Tool for sequential logic synthesis and formal verification";
     homepage = "https://people.eecs.berkeley.edu/~alanmi/abc";
-    license = lib.licenses.mit;
+    license = lib.licenses.mit-modern;
     maintainers = with lib.maintainers; [
       thoughtpolice
       Luflosi