Bug#1012530: 4ti2: package header files

Hi Doug, you are correct, 4ti2 is indeed a library. I am considering to add lib4ti2-dev package. Thanks, Jerome -- Jerome BENOIT | calculus+at-rezozer^dot*net https://qa.debian.org/developer.php?login=calcu...@rezozer.net AE28 AE15 710D FF1D 87E5 A762 3F92 19A6 7F36 C68B OpenPGP_signature

Bug#1012530: 4ti2: package header files

Source: 4ti2 Version: 1.6.9+ds-4 Severity: wishlist X-Debbugs-Cc: dtorra...@debian.org Dear Maintainer, 4ti2 exists as a shared library. Currently, the library files themselves are shipped for the 4ti2 binaries' use, in /usr/lib//4ti2. However, the header files for use with these libraries are