- Name: LADR-static
- Version: 2009.02A
- Release: 1
- Epoch: 0
- Group: Development/Libraries
- License: GPL v2
- Url: http://www.cs.unm.edu/~mccune/mace4/
- Summary: Static LADR library
- Architecture: x86_64
- Size: 845988
- Distribution: PLD
- Vendor:
- Packager:
Description:
Static LADR library.
- OptFlags: -O2 -fno-strict-aliasing -fwrapv -march=x86-64
- Cookie:
- Buildhost: rhea-pld
Sources packages:
Other version of this rpm:
