libginac-1.3	0	libginac1.3 (>= 1.3.0)