115017 – [REQ] KIV (Formal Methods and Theorem Proving) ebuild

Bug 115017 - [REQ] KIV (Formal Methods and Theorem Proving) ebuild

Summary: [REQ] KIV (Formal Methods and Theorem Proving) ebuild

Status:	RESOLVED WONTFIX

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	[OLD] Development (show other bugs)
Hardware:	All Linux

Importance:	High enhancement (vote)
Assignee:	Default Assignee for New Packages

URL:	http://www.informatik.uni-augsburg.de...
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2005-12-09 12:39 UTC by zarcsd
Modified:	2006-12-13 04:13 UTC (History)
CC List:	0 users

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

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.