z3: add changelog to meta

2023-06-24 04:20:00 +00:00
parent 20accfd98c
commit 2c0a8e5050
1 changed files with 1 additions and 0 deletions
@@ -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 ];