Wed, 11 Nov 2026 01:44:52 CST | login

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

ID353342
Buildpicosat-965-3.oc9
Namepicosat-debugsource
Version965
Release3.oc9
Epoch
Archaarch64
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:52 GMT
Size62.63 KB
93becc7d19a8c0f59fea1777d3d4d5bb
LicenseMIT
Buildrootdist-oc9-epol-build-154180-79735
Provides
picosat-debugsource = 965-3.oc9
picosat-debugsource(aarch-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.aarch640.00 B
/usr/src/debug/picosat-965-3.oc9.aarch64/app.c24.44 KB
/usr/src/debug/picosat-965-3.oc9.aarch64/main.c107.00 B
/usr/src/debug/picosat-965-3.oc9.aarch64/picogcnf.c5.06 KB
/usr/src/debug/picosat-965-3.oc9.aarch64/picomcs.c8.20 KB
/usr/src/debug/picosat-965-3.oc9.aarch64/picomus.c12.24 KB
/usr/src/debug/picosat-965-3.oc9.aarch64/picosat.c159.11 KB
/usr/src/debug/picosat-965-3.oc9.aarch64/picosat.h28.00 KB
/usr/src/debug/picosat-965-3.oc9.aarch64/version.c168.00 B
Component of No Buildroots