Tue, 10 Nov 2026 22:07:43 CST | login

Information for RPM picosat-debugsource-965-3.oc9.x86_64.rpm

ID353331
Buildpicosat-965-3.oc9
Namepicosat-debugsource
Version965
Release3.oc9
Epoch
Archx86_64
DraftFalse
SummaryDebug sources for package picosat
DescriptionThis package provides debug sources for package picosat. Debug sources are useful when developing applications that use this package or when debugging this package.
Build Time2025-06-13 12:43:48 GMT
Size62.64 KB
e764c4a0f8fdd2df4cf6cba625e62399
LicenseMIT
Buildrootdist-oc9-epol-build-154177-79735
Provides
picosat-debugsource = 965-3.oc9
picosat-debugsource(x86-64) = 965-3.oc9
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 9 of 9
Name ascending sort Size
/usr/src/debug/picosat-965-3.oc9.x86_640.00 B
/usr/src/debug/picosat-965-3.oc9.x86_64/app.c24.44 KB
/usr/src/debug/picosat-965-3.oc9.x86_64/main.c107.00 B
/usr/src/debug/picosat-965-3.oc9.x86_64/picogcnf.c5.06 KB
/usr/src/debug/picosat-965-3.oc9.x86_64/picomcs.c8.20 KB
/usr/src/debug/picosat-965-3.oc9.x86_64/picomus.c12.24 KB
/usr/src/debug/picosat-965-3.oc9.x86_64/picosat.c159.11 KB
/usr/src/debug/picosat-965-3.oc9.x86_64/picosat.h28.00 KB
/usr/src/debug/picosat-965-3.oc9.x86_64/version.c168.00 B
Component of No Buildroots