Sophie

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

distrib > Fedora > 14 > i386 > media > os > by-pkgid > 39126334d5299191563d60f25a452a2a > files

picosat-devel-913-2.fc13.i686.rpm

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

Files

-rw-r--r--	17439	root	root	/usr/include/picosat.h
lrwxrwxrwx	15	root	root	/usr/lib/libpicosat.so