Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Fri, 01 Nov 2024 00:02:45 UTC |
login
Information for RPM
4ti2-devel-1.6.10-9.fc40.riscv64.rpm
ID
1280028
Name
4ti2-devel
Version
1.6.10
Release
9.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
2024-04-10 11:00:22 GMT
Size
78.91 KB
SIGMD5
9869adf79b50280b3115096ae8b3f1f0
License
GPL-2.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
VCS
https://github.com/4ti2/4ti2
Buildroot
f40-build-800941-143641
Provides
4ti2-devel = 1.6.10-9.fc40
4ti2-devel(riscv-64) = 1.6.10-9.fc40
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
4ti2-libs(riscv-64) = 1.6.10-9.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
f41-build-833697-157899
2024-08-08 17:57:13
Copyright © 2006-2016 Red Hat, Inc.