Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > PLD > th > x86_64 > by-pkgid > 82e3c93882850691d0fefb45e4b7700c

LADR-devel-2009.02A-1.x86_64.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

• Name: LADR-devel
• Version: 2009.02A
• Release: 1
• Epoch: 0
• Group: Development/Libraries
• License: GPL v2
• Url: http://www.cs.unm.edu/~mccune/mace4/
• Summary: Header files for LADR library

• Architecture: x86_64
• Size: 614048
• Distribution: PLD
• Vendor:
• Packager:

• OptFlags: -O2 -fno-strict-aliasing -fwrapv -march=x86-64
• Cookie:
• Buildhost: rhea-pld

Sources packages:

• LADR-2009.02A-1

Other version of this rpm:

• LADR-devel-2009.02A-1.i686
• LADR-devel-2009.02A-1.x86_64
• LADR-devel-2009.02A-1.i486