Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 05 Oct 2024 17:56:35 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
<<<
151 through 200 of 425
>>>
Name
Size
/usr/include/abc/misc/vec/vec.h
2.13 KB
/usr/include/abc/map/scl/scl.h
2.14 KB
/usr/include/abc/base/acb/acbSets.h
2.14 KB
/usr/include/abc/misc/util/abc_namespaces.h
2.15 KB
/usr/include/abc/misc/hash/hash.h
2.16 KB
/usr/include/abc/sat/xsat/xsat.h
2.17 KB
/usr/include/abc/misc/avl/avl.h
2.20 KB
/usr/include/abc/misc/util/utilSignal.h
2.23 KB
/usr/include/abc/map/super/superInt.h
2.25 KB
/usr/include/abc/opt/csw/csw.h
2.28 KB
/usr/include/abc/sat/satoko/cdb.h
2.34 KB
/usr/include/abc/misc/parse/parse.h
2.34 KB
/usr/include/abc/sat/bsat2/System.h
2.36 KB
/usr/include/abc/proof/abs/absRefJ.h
2.37 KB
/usr/include/abc/misc/util/utilMem.h
2.44 KB
/usr/include/abc/bool/rsb/rsb.h
2.48 KB
/usr/include/abc/misc/espresso/sparse_int.h
2.51 KB
/usr/include/abc/sat/glucose/System.h
2.55 KB
/usr/include/abc/sat/glucose2/System.h
2.55 KB
/usr/include/abc/misc/bar/bar.h
2.57 KB
/usr/include/abc/base/acb/acbPar.h
2.60 KB
/usr/include/abc/opt/res/res.h
2.67 KB
/usr/include/abc/misc/mem/mem.h
2.71 KB
/usr/include/abc/sat/xsat/xsatUtils.h
2.73 KB
/usr/include/abc/map/super/super.h
2.74 KB
/usr/include/abc/sat/bsat2/Alg.h
2.75 KB
/usr/include/abc/proof/ssc/ssc.h
2.79 KB
/usr/include/abc/sat/glucose/Alg.h
2.82 KB
/usr/include/abc/sat/glucose2/Alg.h
2.82 KB
/usr/include/abc/bool/rsb/rsbInt.h
2.82 KB
/usr/include/abc/sat/bsat2/Queue.h
2.92 KB
/usr/include/abc/sat/glucose/Queue.h
2.99 KB
/usr/include/abc/sat/glucose2/Queue.h
2.99 KB
/usr/include/abc/sat/xsat/xsatClause.h
3.01 KB
/usr/include/abc/misc/parse/parseInt.h
3.11 KB
/usr/include/abc/aig/ioa/ioa.h
3.13 KB
/usr/include/abc/sat/bsat2/Sort.h
3.20 KB
/usr/include/abc/proof/int2/int2.h
3.20 KB
/usr/include/abc/sat/bsat2/Dimacs.h
3.21 KB
/usr/include/abc/aig/gia/giaAig.h
3.25 KB
/usr/include/abc/opt/sbd/sbd.h
3.25 KB
/usr/include/abc/sat/glucose/Sort.h
3.27 KB
/usr/include/abc/sat/glucose2/Sort.h
3.27 KB
/usr/include/abc/opt/cgt/cgt.h
3.28 KB
/usr/include/abc/sat/glucose/Dimacs.h
3.29 KB
/usr/include/abc/sat/glucose2/Dimacs.h
3.29 KB
/usr/include/abc/misc/nm/nmInt.h
3.30 KB
/usr/include/abc/opt/mfs/mfs.h
3.31 KB
/usr/include/abc/opt/lpk/lpk.h
3.34 KB
/usr/include/abc/misc/st/st.h
3.35 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.