Bug#412518: libginac-dev new version available

[Gürkan Sengün]

Package: libginac-dev
Version: 1.3.5-3
Severity: wishlist

Please could you upgrade libginac-dev to version 1.3.7?
Thank you.

yours,
Gürkan