it is not a bug
i just think that the Formal Methods and Theorem Proving software called
KIV should be included into portage as it is useful for developers. Is is
developed in a german university under a free license.
Steps to Reproduce:
No progress here for 1 year -> closing WONTFIX. Feel free to reopen with an ebuild. Thanks.