Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Mon, 20 May 2024 14:19:29 UTC |
login
Information for RPM
4ti2-devel-1.6.10-2.fc40.riscv64.rpm
ID
1140471
Name
4ti2-devel
Version
1.6.10
Release
2.fc40
Epoch
Arch
riscv64
Summary
Headers needed to develop software that uses 4ti2
Description
Headers and library files needed to develop software that uses 4ti2.
Build Time
2023-12-07 21:59:25 GMT
Size
78.53 KB
SIGMD5
af224435e55c36186bee6c5d7b8db210
License
GPL-2.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
Buildroot
f40-build-757242-119337
Provides
4ti2-devel = 1.6.10-2.fc40
4ti2-devel(riscv-64) = 1.6.10-2.fc40
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
4ti2-libs(riscv-64) = 1.6.10-2.fc40
gmp-devel(riscv-64)
lib4ti2common.so.0()(64bit)
lib4ti2gmp.so.0()(64bit)
lib4ti2int32.so.0()(64bit)
lib4ti2int64.so.0()(64bit)
lib4ti2util.so.0()(64bit)
libzsolve.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
2
3
1 through 50 of 145
>>>
Name
Size
/usr/lib64/libzsolve.so
18.00 B
/usr/lib64/lib4ti2util.so
20.00 B
/usr/lib64/lib4ti2int64.so
21.00 B
/usr/lib64/lib4ti2int32.so
21.00 B
/usr/lib64/lib4ti2gmp.so
19.00 B
/usr/lib64/lib4ti2common.so
22.00 B
/usr/include/4ti2/zsolve/zsolve.h
3.43 KB
/usr/include/4ti2/zsolve/ZSolveAPI.hpp
13.29 KB
/usr/include/4ti2/zsolve/VectorArrayAPI.hpp
4.87 KB
/usr/include/4ti2/zsolve/VectorArray.hpp
6.88 KB
/usr/include/4ti2/zsolve/Vector.hpp
4.42 KB
/usr/include/4ti2/zsolve/Variables.hpp
6.92 KB
/usr/include/4ti2/zsolve/Timer.h
1.34 KB
/usr/include/4ti2/zsolve/SignAPI.h
1.12 KB
/usr/include/4ti2/zsolve/Relation.hpp
3.38 KB
/usr/include/4ti2/zsolve/RelAPI.h
1.11 KB
/usr/include/4ti2/zsolve/Options.h
1.94 KB
/usr/include/4ti2/zsolve/Norms.hpp
2.10 KB
/usr/include/4ti2/zsolve/LinearSystem.hpp
9.12 KB
/usr/include/4ti2/zsolve/Lattice.hpp
12.97 KB
/usr/include/4ti2/zsolve/Integer.h
3.10 KB
/usr/include/4ti2/zsolve/HilbertAPI.hpp
3.12 KB
/usr/include/4ti2/zsolve/Heuristics.hpp
4.63 KB
/usr/include/4ti2/zsolve/GraverAPI.hpp
2.67 KB
/usr/include/4ti2/zsolve/Exception.h
1.67 KB
/usr/include/4ti2/zsolve/DefaultController.hpp
14.71 KB
/usr/include/4ti2/zsolve/Controller.hpp
2.52 KB
/usr/include/4ti2/zsolve/BoundAPI.hpp
2.14 KB
/usr/include/4ti2/zsolve/BitSet.h
1.83 KB
/usr/include/4ti2/zsolve/Algorithm.hpp
34.54 KB
/usr/include/4ti2/zsolve
0.00 B
/usr/include/4ti2/util/vector.h
4.94 KB
/usr/include/4ti2/util/print.h
2.47 KB
/usr/include/4ti2/util/output.h
142.00 B
/usr/include/4ti2/util/orbit.h
1.82 KB
/usr/include/4ti2/util/myheader.h
3.08 KB
/usr/include/4ti2/util/gensymm.h
31.00 B
/usr/include/4ti2/util/genmodel.h
32.00 B
/usr/include/4ti2/util
0.00 B
/usr/include/4ti2/groebner/WeightedReduction.h
1.93 KB
/usr/include/4ti2/groebner/WeightedBinomialSet.h
2.02 KB
/usr/include/4ti2/groebner/WeightAlgorithm.h
2.19 KB
/usr/include/4ti2/groebner/Weight.h
1.00 KB
/usr/include/4ti2/groebner/WalkOptions.h
1.30 KB
/usr/include/4ti2/groebner/WalkAlgorithm.h
1.81 KB
/usr/include/4ti2/groebner/VectorStream.h
1.46 KB
/usr/include/4ti2/groebner/VectorArrayStream.h
1.49 KB
/usr/include/4ti2/groebner/VectorArrayAPI.h
3.76 KB
/usr/include/4ti2/groebner/VectorArray.h
6.92 KB
/usr/include/4ti2/groebner/Vector.h
15.54 KB
Component of
1 through 1 of 1
Buildroot
Created
State
f40-build-790412-136512
2024-03-18 08:05:06
Copyright © 2006-2016 Red Hat, Inc.