Package | Version | Supposed error message | Full log | Bug report |
---|---|---|---|---|
choreonoid | 1.5.0+dfsg-0.1 | ItemManager.h:144:35: error: implicit instantiation of undefined template 'boost::shared_ptr | Log | |
cvc3 | 2.4.1-5.1 | ./minisat_global.h:154:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE | Log | |
minisat+ | 1.0-4 | ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE | Log |