(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 2d6b4b6ec923379f775134b6c137edd66db41f9a..84d04b699eb46926ef6ed3f1b5a1a769a30fcee9 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -11,8 +11,6 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 * <https://bugs.libre-soc.org/show_bug.cgi?id=236> Atomics, Jacob
   EUR 2500
-* <https://bugs.libre-soc.org/show_bug.cgi?id=195> Power ISA Formal Proof
-  EUR 6550
 * <https://bugs.libre-soc.org/show_bug.cgi?id=728> ISACaller, Dmitry
   EUR 1000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=758> Pack/Unpack