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

Revert "xmlada: 23.0.0 -> 24.0.0"

Browse Source
This commit is contained in:
Nick Cao 2023-11-19 08:48:42 -05:00 committed by GitHub
parent d24767aa8b
commit bf0764f2c4
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 { stdenv.mkDerivation rec {
pname = "xmlada"; pname = "xmlada";
version = "24.0.0"; version = "23.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-vvM7bdf3dAa3zKgxbGeAGlBT6fvafzmleimJHyRdlvc="; sha256 = "sha256-covcSwlQQjRKTv0DdMEgahXXlch0TeKnvSyOsGO9+e0=";
}; };
nativeBuildInputs = [ nativeBuildInputs = [