On Sat, Mar 12, 2016 at 11:47 PM, Björn Esser fedora@besser82.io wrote:
.*shogun.* has been rebuilt successfully [1], which implies octave has been rebuilt successfully [2], too. Do the others still need to be rebuild?
I rebuilt latte-integrale (4ti2), cbmc, and python-cvxopt.