From: Luke Kenneth Casson Leighton Date: Mon, 24 Oct 2022 21:05:54 +0000 (+0100) Subject: only NLnet sponsor X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c017a22c0ed010c68fce390e90e7120d8f30f4d2;p=soc.git only NLnet sponsor --- 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. """