From 1d1d5d272490cdb80e25e2c8f24fd6000ca57a07 Mon Sep 17 00:00:00 2001
From: Adam Joseph <adam@westernsemico.com>
Date: Fri, 14 Apr 2023 11:21:24 -0700
Subject: [PATCH] gnat-bootstrap: add meta.sourceProvenance

This package downloads binaries for bootstrapping; it should be marked as such.
---
 pkgs/development/compilers/gnat-bootstrap/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/compilers/gnat-bootstrap/default.nix b/pkgs/development/compilers/gnat-bootstrap/default.nix
index bd7bdfd10239..82785bb90a4a 100644
--- a/pkgs/development/compilers/gnat-bootstrap/default.nix
+++ b/pkgs/development/compilers/gnat-bootstrap/default.nix
@@ -140,5 +140,6 @@ stdenv.mkDerivation rec {
     license = licenses.gpl3;
     maintainers = with maintainers; [ ethindp ];
     platforms = [ "x86_64-linux" "x86_64-darwin" ];
+    sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ];
   };
 }