diff --git a/Ghidra/Debug/SymbolicSummaryZ3/Module.manifest b/Ghidra/Debug/SymbolicSummaryZ3/Module.manifest
index e69de29bb2..ba76a1c8d7 100644
--- a/Ghidra/Debug/SymbolicSummaryZ3/Module.manifest
+++ b/Ghidra/Debug/SymbolicSummaryZ3/Module.manifest
@@ -0,0 +1,9 @@
+MODULE FILE LICENSE: lib/com.microsoft.z3.jar MIT
+MODULE FILE LICENSE: os/linux_x86_64/libz3.so MIT
+MODULE FILE LICENSE: os/linux_x86_64/libz3java.so MIT
+MODULE FILE LICENSE: os/mac_arm_64/libz3.dylib MIT
+MODULE FILE LICENSE: os/mac_arm_64/libz3java.dylib MIT
+MODULE FILE LICENSE: os/mac_x86_64/libz3.dylib MIT
+MODULE FILE LICENSE: os/mac_x86_64/libz3java.dylib MIT
+MODULE FILE LICENSE: os/win_x86_64/libz3.dll MIT
+MODULE FILE LICENSE: os/win_x86_64/libz3java.dll MIT
diff --git a/Ghidra/Debug/SymbolicSummaryZ3/certification.manifest b/Ghidra/Debug/SymbolicSummaryZ3/certification.manifest
index 97db3c3c58..f6a30e4aed 100644
--- a/Ghidra/Debug/SymbolicSummaryZ3/certification.manifest
+++ b/Ghidra/Debug/SymbolicSummaryZ3/certification.manifest
@@ -1,4 +1,4 @@
 ##VERSION: 2.0
-##MODULE IP: JSch License
+##MODULE IP: MIT
 Module.manifest||GHIDRA||||END|
 README.md||GHIDRA||||END|