Wed, 15 May 2024 14:56:18 UTC | login

Information for RPM abc-devel-1.01-23.git20190608.fc31.riscv64.rpm

ID398479
Nameabc-devel
Version1.01
Release23.git20190608.fc31
Epoch
Archriscv64
SummaryHeaders and libraries for developing with ABC
DescriptionHeaders and libraries for developing applications that use ABC.
Build Time2019-07-30 10:45:09 GMT
Size423.82 KB
08547ab24569bb8341a2c98178b3573d
LicenseMIT
Buildrootf31-build-61746-28938
Provides
abc-devel = 1.01-23.git20190608.fc31
abc-devel(riscv-64) = 1.01-23.git20190608.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(riscv-64) = 1.01-23.git20190608.fc31
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
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 398 >>>
Name descending sort Size
/usr/lib64/libabc.so11.00 B
/usr/include/abc/sat/xsat/xsatWatchList.h6.32 KB
/usr/include/abc/sat/xsat/xsatUtils.h2.73 KB
/usr/include/abc/sat/xsat/xsatSolver.h6.82 KB
/usr/include/abc/sat/xsat/xsatMemory.h5.25 KB
/usr/include/abc/sat/xsat/xsatHeap.h8.14 KB
/usr/include/abc/sat/xsat/xsatClause.h3.01 KB
/usr/include/abc/sat/xsat/xsatBQueue.h4.33 KB
/usr/include/abc/sat/xsat/xsat.h2.17 KB
/usr/include/abc/sat/xsat0.00 B
/usr/include/abc/sat/satoko/watch_list.h5.79 KB
/usr/include/abc/sat/satoko/utils/vec/vec_uint.h6.74 KB
/usr/include/abc/sat/satoko/utils/vec/vec_sdbl.h6.32 KB
/usr/include/abc/sat/satoko/utils/vec/vec_int.h5.92 KB
/usr/include/abc/sat/satoko/utils/vec/vec_flt.h6.06 KB
/usr/include/abc/sat/satoko/utils/vec/vec_char.h6.42 KB
/usr/include/abc/sat/satoko/utils/vec0.00 B
/usr/include/abc/sat/satoko/utils/sort.h1.66 KB
/usr/include/abc/sat/satoko/utils/sdbl.h3.65 KB
/usr/include/abc/sat/satoko/utils/misc.h906.00 B
/usr/include/abc/sat/satoko/utils/mem.h816.00 B
/usr/include/abc/sat/satoko/utils/heap.h5.17 KB
/usr/include/abc/sat/satoko/utils/b_queue.h1.87 KB
/usr/include/abc/sat/satoko/utils0.00 B
/usr/include/abc/sat/satoko/types.h1.21 KB
/usr/include/abc/sat/satoko/solver.h7.90 KB
/usr/include/abc/sat/satoko/satoko.h5.17 KB
/usr/include/abc/sat/satoko/clause.h2.00 KB
/usr/include/abc/sat/satoko/cdb.h2.34 KB
/usr/include/abc/sat/satoko/act_var.h1.51 KB
/usr/include/abc/sat/satoko/act_clause.h1.15 KB
/usr/include/abc/sat/satoko0.00 B
/usr/include/abc/sat/psat/m114p_types.h210.00 B
/usr/include/abc/sat/psat/m114p.h2.01 KB
/usr/include/abc/sat/psat0.00 B
/usr/include/abc/sat/proof/pr.h2.08 KB
/usr/include/abc/sat/proof0.00 B
/usr/include/abc/sat/msat/msatInt.h15.69 KB
/usr/include/abc/sat/msat/msat.h9.08 KB
/usr/include/abc/sat/msat0.00 B
/usr/include/abc/sat/lsat/solver.h5.23 KB
/usr/include/abc/sat/lsat0.00 B
/usr/include/abc/sat/glucose/stdint.h99.35 KB
/usr/include/abc/sat/glucose/pstdint.h30.64 KB
/usr/include/abc/sat/glucose/XAlloc.h2.00 KB
/usr/include/abc/sat/glucose/Vec.h5.47 KB
/usr/include/abc/sat/glucose/System.h2.55 KB
/usr/include/abc/sat/glucose/Sort.h3.27 KB
/usr/include/abc/sat/glucose/SolverTypes.h16.01 KB
/usr/include/abc/sat/glucose/Solver.h25.27 KB
Component of No Buildroots