Update page for submitted RFPs

diff --git a/veera.mdwn b/veera.mdwn
index cbb3a0587d0c9fe9511ddd1158582ef7e68e213e..047b1a08fc8991c8b6356aac51afb83a7afb776e 100644 (file)
--- a/veera.mdwn
+++ b/veera.mdwn
@@ -8,17 +8,16 @@ Helping Core Hardware developers.
 
 ## Currently working on
 
-### NLNet.2019.10.032.Formal
-
-* [Bug #883](https://bugs.libre-soc.org/show_bug.cgi?id=883):
-  add cvc5 and bitwuzla to hdl-yosys-tools
-
 ## Currently deffered
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=602> Low performance bare minimum functionality SIMD emulator required
 
 ## Completed but not yet submitted:
 
+## Submitted for NLNet RFP
+
+submitted but not confirmed paid:
+
 ### NLNet.2019.10.046.Standards
 
 * [Bug #839](https://bugs.libre-soc.org/show_bug.cgi?id=839):
@@ -29,15 +28,14 @@ Helping Core Hardware developers.
 * [Bug #847](https://bugs.libre-soc.org/show_bug.cgi?id=847):
   dev\-env\-setup script for binutils-gdb for target powerpc64le\-linux\-gnu
 
+* [Bug #883](https://bugs.libre-soc.org/show_bug.cgi?id=883):
+  add cvc5 and bitwuzla to hdl-yosys-tools
+
 ### NLNet.2019.10.043.Wishbone
 
 * [Bug #878](https://bugs.libre-soc.org/show_bug.cgi?id=878):
   image conversion explaining multi-issue
 
-## Submitted for NLNet RFP
-
-submitted but not confirmed paid:
-
 ## Paid
 
 donation from NLNet confirmed received: