Sat, 18 May 2024 22:20:48 UTC | login

Information for RPM abc-devel-1.01-18.git20180708.fc29.riscv64.rpm

ID205054
Nameabc-devel
Version1.01
Release18.git20180708.fc29
Epoch
Archriscv64
SummaryHeaders and libraries for developing with ABC
DescriptionHeaders and libraries for developing applications that use ABC.
Build Time2018-07-21 16:17:44 GMT
Size460.39 KB
f56da2b8a474b53df8715122dc3c8dd3
LicenseMIT
Buildrootf29-build-18745-10118
Provides
abc-devel = 1.01-18.git20180708.fc29
abc-devel(riscv-64) = 1.01-18.git20180708.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(riscv-64) = 1.01-18.git20180708.fc29
libabc.so.0()(64bit)
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
Page:
1 through 50 of 396 >>>
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.72 KB
/usr/include/abc/sat/satoko/utils/vec/vec_sdbl.h6.31 KB
/usr/include/abc/sat/satoko/utils/vec/vec_int.h5.90 KB
/usr/include/abc/sat/satoko/utils/vec/vec_flt.h6.04 KB
/usr/include/abc/sat/satoko/utils/vec/vec_char.h6.41 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