From 1bd4ce4728ac2e8d3699f92f27944b9e95d87842 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Mon, 4 Jul 2022 17:25:34 +0100
Subject: [PATCH]

---
 lkcl.mdwn | 2 --
 1 file changed, 2 deletions(-)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 2d6b4b6ec..84d04b699 100644
--- 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
-- 
2.30.2