Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
727 B · 35 lines
Nix
123456789101112131415161718192021222324252627282930313233343536{ stdenv, lib, fetchFromGitHub, gnat, # use gprbuild-boot since gprbuild proper depends # on this xmlada derivation. gprbuild-boot,}:
stdenv.mkDerivation rec { pname = "xmlada"; version = "25.0.0";
src = fetchFromGitHub { name = "xmlada-${version}-src"; owner = "AdaCore"; repo = "xmlada"; rev = "v${version}"; sha256 = "sha256-UMJiXSHMS8+X5gyV1nmC29gF71BFnz7LNPQnwUMD3Yg="; };
nativeBuildInputs = [ gnat gprbuild-boot ];
meta = with lib; { description = "XML/Ada: An XML parser for Ada"; homepage = "https://github.com/AdaCore/xmlada"; maintainers = [ maintainers.sternenseemann ]; license = licenses.gpl3Plus; platforms = platforms.all; };}