diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-06-24 04:20:00 +0000 |
|---|---|---|
| committer | Mario Rodas <marsam@users.noreply.github.com> | 2023-06-24 04:20:00 +0000 |
| commit | 2c0a8e50509e4875b893065e91f1ba311da28885 (patch) | |
| tree | b08e3b3df4f2eac9c35620304d921373987abcbb | |
| parent | 20accfd98cb67b7dcd45d752845c54a4d72fc604 (diff) | |
| download | nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.tar nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.tar.gz nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.tar.bz2 nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.tar.lz nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.tar.xz nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.tar.zst nixpkgs-2c0a8e50509e4875b893065e91f1ba311da28885.zip | |
z3: add changelog to meta
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index f36b26d9a39..7b18846feeb 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 ]; |