+* [Bug #839](https://bugs.libre-soc.org/show_bug.cgi?id=839):
+ SVP64 / Extra-V / ZOLC whitepaper
+ * €700 out of total of €2000
+
+### NLNet.2019.02
+
+* [Bug #750](https://bugs.libre-soc.org/show_bug.cgi?id=750):
+ Convert pinmux gpio, jtag\-block bitmap diagrams to svg vector
+ * €500 out of total of €500
+
+* [Bug #790](https://bugs.libre-soc.org/show_bug.cgi?id=790):
+ dev-env-setup script for nextpnr\-xilinx
+ * €450 out of total of €600
+
+* [Bug #791](https://bugs.libre-soc.org/show_bug.cgi?id=791):
+ dev-env-setup script for dfutil, openFPGALoader, ujprog and fujprog
+ * €600 out of total of €600
+
+* [Bug #802](https://bugs.libre-soc.org/show_bug.cgi?id=802):
+ Document steps for ls2 microwatt hello world for fpga boards
+ * €450 out of total of €600
+
+### NLNet.2019.10.032.Formal
+
+* [Bug #847](https://bugs.libre-soc.org/show_bug.cgi?id=847):
+ dev\-env\-setup script for binutils-gdb for target powerpc64le\-linux\-gnu
+ * €450 out of total of €650
+
+* [Bug #883](https://bugs.libre-soc.org/show_bug.cgi?id=883):
+ add cvc5 and bitwuzla to hdl-yosys-tools
+ * €800 which is the total amount
+