From: lkcl <lkcl@web>
Date: Sun, 28 Aug 2022 18:07:29 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~746
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74282c461955c99adacab006fca6435ca49f135c;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index b99d11cf9..599e3607f 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -13,10 +13,6 @@ Lead dev and Project Coordinator for Libre-SOC.
 * <https://bugs.libre-soc.org/show_bug.cgi?id=864> parallel prefix EUR 3000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=899> transcendentals sim EUR 4000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=252> 3D simulator EUR 7000
-* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
-   EUR 8650
-* <https://bugs.libre-soc.org/show_bug.cgi?id=236> Atomics, Jacob
-  EUR 2500
 * <https://bugs.libre-soc.org/show_bug.cgi?id=728> ISACaller, Dmitry
   EUR 1000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=871> Pack/Unpack