nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 17:03:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #182414 from ethindp/gnatboot12

Browse Source 
gnatboot: 11.2.0-4 -> 12.1.0-2
This commit is contained in:
Rick van Schijndel 2022-08-07 16:45:34 +02:00 committed by GitHub
commit dcd89a1847
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/gnatboot/default.nix
View File

@ -4,11 +4,11 @@
stdenv.mkDerivation rec {
pname = "gnatboot";
version = "11.2.0-4";
version = "12.1.0-2";
src = fetchzip {
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-${version}/gnat-x86_64-linux-${version}.tar.gz";
hash = "sha256-8fMBJp6igH+Md5jE4LMubDmC4GLt4A+bZG/Xcz2LAJQ=";
hash = "sha256-EPDPOOjWJnJsUM7GGxj20/PXumjfLoMIEFX1EDtvWVY=";
};
nativeBuildInputs = [