Wed, 11 Nov 2026 01:30:53 CST | login

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

ID167604
Buildpicosat-965-1.oc9
Namepicosat-debugsource
Version965
Release1.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 Time2024-01-30 03:50:51 GMT
Size62.47 KB
3db3639f27ce748d551b25262e344be3
LicenseMIT
Buildrootdist-oc9-epol-build-67183-30943
Provides
picosat-debugsource = 965-1.oc9
picosat-debugsource(x86-64) = 965-1.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-1.oc9.x86_640.00 B
/usr/src/debug/picosat-965-1.oc9.x86_64/app.c24.44 KB
/usr/src/debug/picosat-965-1.oc9.x86_64/main.c107.00 B
/usr/src/debug/picosat-965-1.oc9.x86_64/picogcnf.c5.06 KB
/usr/src/debug/picosat-965-1.oc9.x86_64/picomcs.c8.20 KB
/usr/src/debug/picosat-965-1.oc9.x86_64/picomus.c12.24 KB
/usr/src/debug/picosat-965-1.oc9.x86_64/picosat.c159.11 KB
/usr/src/debug/picosat-965-1.oc9.x86_64/picosat.h28.00 KB
/usr/src/debug/picosat-965-1.oc9.x86_64/version.c168.00 B
Component of No Buildroots