Sophie

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

distrib > Arklinux > devel > x86_64 > by-pkgid > 5a9454152fc9903b359a5ed1159ab130

sat-solver-devel-0.16.3-0.20110114.1ark.x86_64.rpm

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

• Name: sat-solver-devel
• Version: 0.16.3
• Release: 0.20110114.1ark
• Epoch:
• Group: Development/Libraries
• License: BSD
• Url: http://en.opensuse.org/Libzypp/Sat_Solver
• Summary: Development files for sat-solver

• Architecture: x86_64
• Size: 3531326
• Distribution: Ark Linux
• Vendor: Ark Open Source
• Packager:

• OptFlags: -m64 -O2 -fomit-frame-pointer -fweb -frename-registers -ffast-math -mrecip -Wl,-O2,-z,combreloc,-z,relro,--enable-new-dtags,--hash-style=gnu -g -ftree-loop-linear -floop-interchange -floop-strip-mine -floop-block -fgraphite-identity -ftree-loop-distribution -ftree-loop-im -ftree-loop-ivcanon -fivopts -DQT_USE_FAST_CONCATENATION -DQT_USE_FAST_OPERATOR_PLUS -DNDEBUG -DQT_NO_DEBUG -mmmx -msse -msse2 -mfpmath=sse,387
• Cookie: pilatus.blankpage.ch 1295009182
• Buildhost: build-x86_64.internal.arklinux.org

Sources packages:

• sat-solver-0.16.3-0.20110114.1ark

Other version of this rpm:

• sat-solver-devel-0.16.3-0.20110114.1ark.x86_64
• sat-solver-devel-0.16.3-0.20110114.1ark.i586