Tue, 30 Jul 2024 20:04:12 UTC | login

Information for RPM yosyshq-abc-devel-0.35-2.20231108git896e5e7.fc40.riscv64.rpm

ID1256811
Nameyosyshq-abc-devel
Version0.35
Release2.20231108git896e5e7.fc40
Epoch
Archriscv64
SummaryHeaders and libraries for developing with ABC
DescriptionHeaders and libraries for developing applications that use ABC.
Build Time2024-03-21 12:51:35 GMT
Size444.43 KB
fcca7615e6ae8de5474e9e0ec69d628c
LicenseMIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
Buildrootf40-build-794447-139514
Provides
abc-devel = 1.01-40.0.35.2.20231108git896e5e7.fc40
yosyshq-abc-devel = 0.35-2.20231108git896e5e7.fc40
yosyshq-abc-devel(riscv-64) = 0.35-2.20231108git896e5e7.fc40
Obsoletes
abc-devel < 1.01-41
Conflicts No Conflicts
Requires
libabc.so.0()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
yosyshq-abc-libs(riscv-64) = 0.35-2.20231108git896e5e7.fc40
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 351 through 400 of 425 >>>
Name ascending sort Size
/usr/include/abc/sat/glucose/Queue.h2.99 KB
/usr/include/abc/sat/glucose/SimpSolver.h9.87 KB
/usr/include/abc/sat/glucose/Solver.h25.75 KB
/usr/include/abc/sat/glucose/SolverTypes.h16.20 KB
/usr/include/abc/sat/glucose/Sort.h3.27 KB
/usr/include/abc/sat/glucose/System.h2.55 KB
/usr/include/abc/sat/glucose/Vec.h5.65 KB
/usr/include/abc/sat/glucose/XAlloc.h2.04 KB
/usr/include/abc/sat/glucose/pstdint.h30.64 KB
/usr/include/abc/sat/glucose20.00 B
/usr/include/abc/sat/glucose2/AbcGlucose2.h5.88 KB
/usr/include/abc/sat/glucose2/Alg.h2.82 KB
/usr/include/abc/sat/glucose2/Alloc.h4.55 KB
/usr/include/abc/sat/glucose2/BoundedQueue.h3.98 KB
/usr/include/abc/sat/glucose2/CGlucose.h117.00 B
/usr/include/abc/sat/glucose2/CGlucoseCore.h18.00 KB
/usr/include/abc/sat/glucose2/Constants.h1.57 KB
/usr/include/abc/sat/glucose2/Dimacs.h3.29 KB
/usr/include/abc/sat/glucose2/Heap.h4.93 KB
/usr/include/abc/sat/glucose2/Heap2.h5.33 KB
/usr/include/abc/sat/glucose2/IntTypes.h1.81 KB
/usr/include/abc/sat/glucose2/Map.h6.64 KB
/usr/include/abc/sat/glucose2/Options.h11.97 KB
/usr/include/abc/sat/glucose2/ParseUtils.h4.94 KB
/usr/include/abc/sat/glucose2/Queue.h2.99 KB
/usr/include/abc/sat/glucose2/SimpSolver.h10.72 KB
/usr/include/abc/sat/glucose2/Solver.h32.04 KB
/usr/include/abc/sat/glucose2/SolverTypes.h16.40 KB
/usr/include/abc/sat/glucose2/Sort.h3.27 KB
/usr/include/abc/sat/glucose2/System.h2.55 KB
/usr/include/abc/sat/glucose2/Vec.h6.14 KB
/usr/include/abc/sat/glucose2/XAlloc.h2.05 KB
/usr/include/abc/sat/glucose2/pstdint.h30.64 KB
/usr/include/abc/sat/lsat0.00 B
/usr/include/abc/sat/lsat/solver.h5.23 KB
/usr/include/abc/sat/msat0.00 B
/usr/include/abc/sat/msat/msat.h9.08 KB
/usr/include/abc/sat/msat/msatInt.h15.69 KB
/usr/include/abc/sat/proof0.00 B
/usr/include/abc/sat/proof/pr.h2.08 KB
/usr/include/abc/sat/psat0.00 B
/usr/include/abc/sat/psat/m114p.h2.01 KB
/usr/include/abc/sat/psat/m114p_types.h210.00 B
/usr/include/abc/sat/satoko0.00 B
/usr/include/abc/sat/satoko/act_clause.h1.15 KB
/usr/include/abc/sat/satoko/act_var.h1.51 KB
/usr/include/abc/sat/satoko/cdb.h2.34 KB
/usr/include/abc/sat/satoko/clause.h2.00 KB
/usr/include/abc/sat/satoko/satoko.h5.17 KB
/usr/include/abc/sat/satoko/solver.h7.90 KB
Component of
1 through 1 of 1
Buildroot Created State ascending sort
f40-build-805569-144785 2024-04-14 13:00:27 expired