Merge pull request #268500 from NixOS/revert-268270-auto-update/xmlada

Revert "xmlada: 23.0.0 -> 24.0.0"
This commit is contained in:
Nick Cao 2023-11-19 09:29:38 -05:00 committed by GitHub
commit ceb63f7c78
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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