xmlada: 23.0.0 -> 24.0.0

This commit is contained in:
R. Ryantm 2023-11-18 09:51:03 +00:00 committed by sternenseemann
parent 9191cc9865
commit 0d88bf2ae5

View file

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