movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-13 05:05:29 +03:00
Code Issues Projects Releases Packages Wiki Activity

z3: add aliases for older versions

Browse source
This commit is contained in:
Tom van Dijk 2025-05-17 15:31:18 +02:00
parent f9d66c36aa
commit 60cbd81553
No known key found for this signature in database
GPG key ID: 7A984C8207ADBA51
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
pkgs/by-name/z3/z3/package.nix
View file

@ -1,3 +1,5 @@
# Note: when updating to a new major version (for now), add an alias to
# pkgs/top-level/aliases.nix
{ {
z3_4_15, z3_4_15,
... ...

6
pkgs/top-level/aliases.nix
View file

@ -2032,6 +2032,12 @@ mapAliases {
### Z ### ### Z ###
z3_4_11 = throw "'z3_4_11' has been removed in favour of the latest version. Consider using 'z3' or 'z3_4_15'."; # Added 2025-05-17
z3_4_12 = throw "'z3_4_12' has been removed in favour of the latest version. Consider using 'z3' or 'z3_4_15'."; # Added 2025-05-17
z3_4_13 = throw "'z3_4_13' has been removed in favour of the latest version. Consider using 'z3' or 'z3_4_15'."; # Added 2025-05-17
z3_4_14 = throw "'z3_4_14' has been removed in favour of the latest version. Consider using 'z3' or 'z3_4_15'."; # Added 2025-05-17
z3_4_8_5 = throw "'z3_4_8_5' has been removed in favour of the latest version. Consider using 'z3' or 'z3_4_15'."; # Added 2025-05-17
z3_4_8 = throw "'z3_4_8' has been removed in favour of the latest version. Consider using 'z3' or 'z3_4_15'."; # Added 2025-05-17
zabbix50 = throw "'zabbix50' has been removed, it would have reached its End of Life a few days after the release of NixOS 25.05. Consider upgrading to 'zabbix60' or 'zabbix70'."; zabbix50 = throw "'zabbix50' has been removed, it would have reached its End of Life a few days after the release of NixOS 25.05. Consider upgrading to 'zabbix60' or 'zabbix70'.";
zabbix64 = throw "'zabbix64' has been removed because it reached its End of Life. Consider upgrading to 'zabbix70'."; zabbix64 = throw "'zabbix64' has been removed because it reached its End of Life. Consider upgrading to 'zabbix70'.";
zeroadPackages = recurseIntoAttrs { zeroadPackages = recurseIntoAttrs {