X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=lkcl.mdwn;h=c7f06f0d9a6a90c55371f036aa3a181dc25a985f;hb=a175a4756f5b4e1350d2099c3f0aae4954b337ed;hp=54f6242869c2951fe3dc7d14f3d5aab4cef75592;hpb=094be833ce55ebb48230e8c0f13e85594954fabd;p=libreriscv.git

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 54f624286..c7f06f0d9 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -10,21 +10,8 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 # Priority tasks to keep an eye on
 
-* <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
-  EUR 700
 * <https://bugs.libre-soc.org/show_bug.cgi?id=197> 6600 proof
   EUR 5000
-* <https://bugs.libre-soc.org/show_bug.cgi?id=231> Video opcodes Standard
-  EUR 2000
-
 
 # Status tracking