xmlada: 22.0.0 -> 23.0.0

This commit is contained in:
R. Ryantm 2022-10-21 01:56:45 +00:00 committed by sternenseemann
parent 4e65826439
commit 9a7a5256fd

View file

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