libginac-1.2 0 libginac1.2 (>= 1.2.0)