+### 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
+