From c017a22c0ed010c68fce390e90e7120d8f30f4d2 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 24 Oct 2022 22:05:54 +0100 Subject: [PATCH] only NLnet sponsor --- src/soc/experiment/formal/proof_compalu_multi.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/experiment/formal/proof_compalu_multi.py b/src/soc/experiment/formal/proof_compalu_multi.py index 2bab836a..39cad470 100644 --- a/src/soc/experiment/formal/proof_compalu_multi.py +++ b/src/soc/experiment/formal/proof_compalu_multi.py @@ -1,6 +1,6 @@ # SPDX-License-Identifier: LGPLv3+ # Copyright (C) 2022 Cesar Strauss -# Sponsored by NLnet and NGI POINTER under EU Grants 871528 and 957073 +# Sponsored by NLnet under EU Grant and 957073 # Part of the Libre-SOC Project. """ -- 2.30.2