Bug#1012530: 4ti2: package header files

[Jerome BENOIT]

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=calculus@rezozer.net
AE28 AE15 710D FF1D 87E5  A762 3F92 19A6 7F36 C68B
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 1533 bytes
Desc: OpenPGP digital signature
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20220820/b7631942/attachment.sig>