dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #268270 from r-ryantm/auto-update/xmlada

Browse Source 
xmlada: 23.0.0 -> 24.0.0
This commit is contained in:
Nick Cao 2023-11-18 09:26:03 -05:00 committed by GitHub
commit 02391243ed
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/libraries/ada/xmlada/default.nix
View File

@ -9,14 +9,14 @@
stdenv.mkDerivation rec {
pname = "xmlada";
version = "23.0.0";
version = "24.0.0";
src = fetchFromGitHub {
name = "xmlada-${version}-src";
owner = "AdaCore";
repo = "xmlada";
rev = "v${version}";
sha256 = "sha256-covcSwlQQjRKTv0DdMEgahXXlch0TeKnvSyOsGO9+e0=";
sha256 = "sha256-vvM7bdf3dAa3zKgxbGeAGlBT6fvafzmleimJHyRdlvc=";
};
nativeBuildInputs = [