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
+  EUR 700
+* <https://bugs.libre-soc.org/show_bug.cgi?id=758> pypowersim, Andrey
+  EUR 800
 * <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
    EUR 8650
 * <https://bugs.libre-soc.org/show_bug.cgi?id=197> 6600 proof