diff options
| author | Nick Cao <nickcao@nichi.co> | 2023-11-19 08:48:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-19 08:48:42 -0500 |
| commit | bf0764f2c41524657661e10309083467c78ab684 (patch) | |
| tree | 48cd6368dd09364cdd2b8dd85dc83644db3e3e64 | |
| parent | d24767aa8b609be59306861f16a4e8bc24723099 (diff) | |
Revert "xmlada: 23.0.0 -> 24.0.0"
| -rw-r--r-- | pkgs/development/libraries/ada/xmlada/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/ada/xmlada/default.nix b/pkgs/development/libraries/ada/xmlada/default.nix index 77e8094277a7..e80371e092e8 100644 --- a/pkgs/development/libraries/ada/xmlada/default.nix +++ b/pkgs/development/libraries/ada/xmlada/default.nix @@ -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 = [ |