- 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: 923395
- Distribution: PLD 3.0 (Th)
- Vendor: PLD
- Packager: PLD bug tracking system ( http://bugs.pld-linux.org/ )
Description:
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: src.th.pld-linux.org 1241706843
- Buildhost: src.th.pld-linux.org