Bug 115017

Summary:	[REQ] KIV (Formal Methods and Theorem Proving) ebuild
Product:	Gentoo Linux	Reporter:	zarcsd
Component:	[OLD] Development	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	RESOLVED WONTFIX
Severity:	enhancement
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://www.informatik.uni-augsburg.de/de/lehrstuehle/swt/se/research/kiv/
Whiteboard:
Package list:		Runtime testing required:	---

Description zarcsd 2005-12-09 12:39:26 UTC

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.

http://www.informatik.uni-augsburg.de/de/lehrstuehle/swt/se/research/kiv/


Reproducible: Always
Steps to Reproduce:
1.
2.
3.

Comment 1 Jakub Moc (RETIRED) gentoo-dev

2006-12-13 04:13:54 UTC

No progress here for 1 year -> closing WONTFIX. Feel free to reopen with an ebuild. Thanks.