(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 6147b420022d70cc53339ae9b4a0e9d05493ddff..35a3afdf9e492ada8ca57a25ab802d5859b5009f 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -61,26 +61,28 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=476> addme bug
    - EUR 100
 
-  - <http://bugs.libre-riscv.org/show_bug.cgi?id=186> POWER Decoder
+donated:
+
+ - <http://bugs.libre-riscv.org/show_bug.cgi?id=186> POWER Decoder
      - with [[lkcl]]
-  - <http://bugs.libre-riscv.org/show_bug.cgi?id=208> CORDIC
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=272>
+ - <http://bugs.libre-riscv.org/show_bug.cgi?id=208> CORDIC
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=272>
      - functions needed for simulator
      - Shared 90% with [[lkcl]]
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #198
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #198
      - Formal proof of decoder
      - EUR 200
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=306> parent #195
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> parent #195
      - POWER9 ALU proof
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=332> parent #195
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=332> parent #195
      - POWER9 CR proof
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=335> parent #195
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=335> parent #195
      - POWER9 BRANCH proof
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=331> parent #195
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=331> parent #195
      - POWER9 LOGICAL proof
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=340> parent #195
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=340> parent #195
     - POWER9 ROTATE proof
-  - <https://bugs.libre-soc.org/show_bug.cgi?id=342> parent #197
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=342> parent #197
     - MultiCompUnit (and Function Units) proof
 
 ## Submitted for NLNet RFP