- Name: p9m4
- Version: 0.5
- Release: 1
- Epoch: 0
- Group: Applications/Science
- License: GPL v2
- Url: http://www.cs.unm.edu/~mccune/prover9/gui/
- Summary: GUI for Prover9 and Mace4
- Architecture: noarch
- Size: 242781
- Distribution: PLD
- Vendor:
- Packager:
Description:
- OptFlags: -O2 -fno-strict-aliasing -fwrapv -march=x86-64
- Cookie:
- Buildhost: rhea-pld