(/ X@./props.plist 000644 0 0 01630 0 013352 0 ustar 00root root
architecture
ppc64-musl
changelog
http://fmv.jku.at/picosat/NEWS
homepage
http://fmv.jku.at/picosat/installed_size
145360
/arrayshort_descSatisfiability (SAT) solver for boolean variables - runtime library (debug files)version
./files.plist 000644 1645 0 013317 0 ustar 00root dirsarray>
fil/usr
/lib/debug.sotiminteger>1625449241