From 2c0a8e50509e4875b893065e91f1ba311da28885 Mon Sep 17 00:00:00 2001
From: Mario Rodas <marsam@users.noreply.github.com>
Date: Sat, 24 Jun 2023 04:20:00 +0000
Subject: [PATCH] z3: add changelog to meta

---
 pkgs/applications/science/logic/z3/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix
index f36b26d9a398..7b18846feeb2 100644
--- a/pkgs/applications/science/logic/z3/default.nix
+++ b/pkgs/applications/science/logic/z3/default.nix
@@ -80,6 +80,7 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }:
     meta = with lib; {
       description = "A high-performance theorem prover and SMT solver";
       homepage = "https://github.com/Z3Prover/z3";
+      changelog = "https://github.com/Z3Prover/z3/releases/tag/z3-${version}";
       license = licenses.mit;
       platforms = platforms.unix;
       maintainers = with maintainers; [ thoughtpolice ttuegel ];