publication date2015/09/08
Ticket (1)typepriorityin stateloadload leftcreatedmodifiedassigned totagged bypatch
#298337 gecode_version() in __pkginfo__.py does not catch OSErrorbugnormalresolved0.0006 years2 years  [pkg] don't crash if g++ is not in $PATH