K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2019-08-04T05:39:36.172657Z
K 7
svn:log
V 336
Mark BROKEN: fails to build

In file included from metaLevelOpSymbol.cc:100:
In file included from ./descentFunctions.cc:584:
In file included from ../../src/Mixfix/variableGenerator.hh:33:
/usr/local/include/cvc4/expr/expr_manager.h:47:10: fatal error: 'cvc4_public.h' file not found
#include "cvc4_public.h"

Reported by:	pkg-fallout

END