diff options
author | Thomas Heijligen <src@posteo.de> | 2024-02-19 19:17:19 +0000 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2024-02-25 18:19:50 +0100 |
commit | c1b5933e79e45dd7f75075075f6248af8362da08 (patch) | |
tree | 39733a163d5d41261e97f304847b0381e4d6d00d /pkgs/top-level/aliases.nix | |
parent | abc4653068fb14d0141eddfeb21f8d205ea83137 (diff) | |
download | nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.tar nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.tar.gz nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.tar.bz2 nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.tar.lz nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.tar.xz nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.tar.zst nixlib-c1b5933e79e45dd7f75075075f6248af8362da08.zip |
gnatprove: Rename spark2014
Gnatprove is the tool distributed out of the spark2014 repository. AdaCore, the developer behind it, distribute it under the name gnatprove in the Ada alire package repository [0]. Rename the package to keep in line with other distribution channels. [0] https://alire.ada.dev/crates/gnatprove
Diffstat (limited to 'pkgs/top-level/aliases.nix')
-rw-r--r-- | pkgs/top-level/aliases.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index 5a44235de0c3..445659c7e560 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -1016,6 +1016,7 @@ mapAliases ({ spark2 = throw "'spark2' is no longer supported nixpkgs, please use 'spark'"; # Added 2023-05-08 spark_2_4 = throw "'spark_2_4' is no longer supported nixpkgs, please use 'spark'"; # Added 2023-05-08 spark_3_1 = throw "'spark_3_1' is no longer supported nixpkgs, please use 'spark'"; # Added 2023-05-08 + spark2014 = gnatprove; # Added 2024-02-25 # Added 2020-02-10 sourceHanSansPackages = { |