Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sun, 19 May 2024 12:04:05 UTC |
login
Information for RPM
abc-devel-1.01-19.git20181121.fc30.riscv64.rpm
ID
294760
Name
abc-devel
Version
1.01
Release
19.git20181121.fc30
Epoch
Arch
riscv64
Summary
Headers and libraries for developing with ABC
Description
Headers and libraries for developing applications that use ABC.
Build Time
2018-12-03 14:18:37 GMT
Size
463.45 KB
SIGMD5
f748e3a8662db0b33210e66cb4c15c63
License
MIT
Buildroot
f30-build-35575-19885
Provides
abc-devel = 1.01-19.git20181121.fc30
abc-devel(riscv-64) = 1.01-19.git20181121.fc30
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
abc-libs(riscv-64) = 1.01-19.git20181121.fc30
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
2
3
4
5
6
7
8
1 through 50 of 398
>>>
Name
Size
/usr/lib64/libabc.so
11.00 B
/usr/include/abc/sat/xsat/xsatWatchList.h
6.32 KB
/usr/include/abc/sat/xsat/xsatUtils.h
2.73 KB
/usr/include/abc/sat/xsat/xsatSolver.h
6.82 KB
/usr/include/abc/sat/xsat/xsatMemory.h
5.25 KB
/usr/include/abc/sat/xsat/xsatHeap.h
8.14 KB
/usr/include/abc/sat/xsat/xsatClause.h
3.01 KB
/usr/include/abc/sat/xsat/xsatBQueue.h
4.33 KB
/usr/include/abc/sat/xsat/xsat.h
2.17 KB
/usr/include/abc/sat/xsat
0.00 B
/usr/include/abc/sat/satoko/watch_list.h
5.79 KB
/usr/include/abc/sat/satoko/utils/vec/vec_uint.h
6.72 KB
/usr/include/abc/sat/satoko/utils/vec/vec_sdbl.h
6.31 KB
/usr/include/abc/sat/satoko/utils/vec/vec_int.h
5.90 KB
/usr/include/abc/sat/satoko/utils/vec/vec_flt.h
6.04 KB
/usr/include/abc/sat/satoko/utils/vec/vec_char.h
6.41 KB
/usr/include/abc/sat/satoko/utils/vec
0.00 B
/usr/include/abc/sat/satoko/utils/sort.h
1.66 KB
/usr/include/abc/sat/satoko/utils/sdbl.h
3.65 KB
/usr/include/abc/sat/satoko/utils/misc.h
906.00 B
/usr/include/abc/sat/satoko/utils/mem.h
816.00 B
/usr/include/abc/sat/satoko/utils/heap.h
5.17 KB
/usr/include/abc/sat/satoko/utils/b_queue.h
1.87 KB
/usr/include/abc/sat/satoko/utils
0.00 B
/usr/include/abc/sat/satoko/types.h
1.21 KB
/usr/include/abc/sat/satoko/solver.h
7.90 KB
/usr/include/abc/sat/satoko/satoko.h
5.17 KB
/usr/include/abc/sat/satoko/clause.h
2.00 KB
/usr/include/abc/sat/satoko/cdb.h
2.34 KB
/usr/include/abc/sat/satoko/act_var.h
1.51 KB
/usr/include/abc/sat/satoko/act_clause.h
1.15 KB
/usr/include/abc/sat/satoko
0.00 B
/usr/include/abc/sat/psat/m114p_types.h
210.00 B
/usr/include/abc/sat/psat/m114p.h
2.01 KB
/usr/include/abc/sat/psat
0.00 B
/usr/include/abc/sat/proof/pr.h
2.08 KB
/usr/include/abc/sat/proof
0.00 B
/usr/include/abc/sat/msat/msatInt.h
15.69 KB
/usr/include/abc/sat/msat/msat.h
9.08 KB
/usr/include/abc/sat/msat
0.00 B
/usr/include/abc/sat/lsat/solver.h
5.23 KB
/usr/include/abc/sat/lsat
0.00 B
/usr/include/abc/sat/glucose/stdint.h
99.35 KB
/usr/include/abc/sat/glucose/pstdint.h
30.64 KB
/usr/include/abc/sat/glucose/XAlloc.h
2.00 KB
/usr/include/abc/sat/glucose/Vec.h
5.47 KB
/usr/include/abc/sat/glucose/System.h
2.55 KB
/usr/include/abc/sat/glucose/Sort.h
3.27 KB
/usr/include/abc/sat/glucose/SolverTypes.h
16.01 KB
/usr/include/abc/sat/glucose/Solver.h
25.27 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.