[Bug 460244] Review Request: alt-ergo - Alt-Ergo automatic theorem prover

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=460244





--- Comment #6 from Alan Dunn <amdunn at gmail.com>  2008-09-04 11:32:08 EDT ---
New Package CVS Request
=======================
Package Name: alt-ergo
Short Description: Alt-Ergo automatic theorem prover
Owners: amdunn
Branches: F-8 F-9
InitialCC:
Packager Commits: yes

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.