Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Tue, 01 Oct 2024 03:19:26 UTC |
login
Information for RPM
yosyshq-abc-devel-0.35-2.20231108git896e5e7.fc40.riscv64.rpm
ID
1256811
Name
yosyshq-abc-devel
Version
0.35
Release
2.20231108git896e5e7.fc40
Epoch
Arch
riscv64
Summary
Headers and libraries for developing with ABC
Description
Headers and libraries for developing applications that use ABC.
Build Time
2024-03-21 12:51:35 GMT
Size
444.43 KB
SIGMD5
fcca7615e6ae8de5474e9e0ec69d628c
License
MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
Buildroot
f40-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:
1
2
3
4
5
6
7
8
9
<<<
101 through 150 of 425
>>>
Name
Size
/usr/include/abc/sat
0.00 B
/usr/include/abc/sat/bmc
0.00 B
/usr/include/abc/sat/bsat
0.00 B
/usr/include/abc/sat/bsat2
0.00 B
/usr/include/abc/sat/cnf
0.00 B
/usr/include/abc/sat/csat
0.00 B
/usr/include/abc/sat/glucose
0.00 B
/usr/include/abc/sat/glucose2
0.00 B
/usr/include/abc/sat/lsat
0.00 B
/usr/include/abc/sat/msat
0.00 B
/usr/include/abc/sat/proof
0.00 B
/usr/include/abc/sat/psat
0.00 B
/usr/include/abc/sat/satoko
0.00 B
/usr/include/abc/sat/satoko/utils
0.00 B
/usr/include/abc/sat/satoko/utils/vec
0.00 B
/usr/include/abc/sat/xsat
0.00 B
/usr/lib64/libabc.so
11.00 B
/usr/include/abc/sat/glucose2/CGlucose.h
117.00 B
/usr/include/abc/misc/espresso/mincov.h
143.00 B
/usr/include/abc/sat/psat/m114p_types.h
210.00 B
/usr/include/abc/sat/satoko/utils/mem.h
816.00 B
/usr/include/abc/phys/place/libhmetis.h
819.00 B
/usr/include/abc/sat/satoko/utils/misc.h
906.00 B
/usr/include/abc/sat/satoko/act_clause.h
1.15 KB
/usr/include/abc/misc/util/util_hack.h
1.15 KB
/usr/include/abc/bool/lucky/lucky.h
1.20 KB
/usr/include/abc/sat/satoko/types.h
1.21 KB
/usr/include/abc/misc/espresso/mincov_int.h
1.36 KB
/usr/include/abc/sat/satoko/act_var.h
1.51 KB
/usr/include/abc/sat/glucose/Constants.h
1.57 KB
/usr/include/abc/sat/glucose2/Constants.h
1.57 KB
/usr/include/abc/sat/satoko/utils/sort.h
1.66 KB
/usr/include/abc/sat/bsat2/IntTypes.h
1.79 KB
/usr/include/abc/sat/glucose/IntTypes.h
1.81 KB
/usr/include/abc/sat/glucose2/IntTypes.h
1.81 KB
/usr/include/abc/sat/satoko/utils/b_queue.h
1.87 KB
/usr/include/abc/base/io/ioInt.h
1.91 KB
/usr/include/abc/aig/gia/giaIiff.h
1.91 KB
/usr/include/abc/phys/place/place_gordian.h
1.92 KB
/usr/include/abc/sat/bsat2/XAlloc.h
1.92 KB
/usr/include/abc/generic.h
1.94 KB
/usr/include/abc/base/abc/abcInt.h
1.94 KB
/usr/include/abc/sat/satoko/clause.h
2.00 KB
/usr/include/abc/sat/psat/m114p.h
2.01 KB
/usr/include/abc/sat/glucose/XAlloc.h
2.04 KB
/usr/include/abc/sat/glucose2/XAlloc.h
2.05 KB
/usr/include/abc/bdd/cas/cas.h
2.06 KB
/usr/include/abc/bool/rpo/rpo.h
2.07 KB
/usr/include/abc/sat/proof/pr.h
2.08 KB
/usr/include/abc/opt/dau/dauInt.h
2.11 KB
Component of
1 through 1 of 1
Buildroot
Created
State
f40-build-805569-144785
2024-04-14 13:00:27
Copyright © 2006-2016 Red Hat, Inc.