prover9-debuginfo - Debug information for package prover9
| Website: | http://www.cs.unm.edu/~mccune/prover9/ |
|---|---|
| License: | GPLv2 and GPLv2+ |
| Vendor: | Fedora Project <http://bugzilla.redhat.com/bugzilla> |
- Description:
This package provides debug information for package prover9. Debug information is useful when developing applications that use this package or when debugging this package.
Packages
| prover9-debuginfo-200805a-4.el5.i386 [8.0 MiB] |
Changelog
by Tim Colles (2008-07-09):
- exclude ppc64 architecture as test2 fails |