abc-verifier: update license to be more precise

2026-06-15 11:19:02 -07:00
parent 18c75ea2a3
commit c67573daa2
1 changed files with 1 additions and 1 deletions
@@ -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