4ti2-devel-1.6.9-7.fc33.riscv64.rpm | RPM Info

Information for RPM 4ti2-devel-1.6.9-7.fc33.riscv64.rpm

674383

Name

4ti2-devel

Version

1.6.9

Release

7.fc33

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

2020-08-13 13:39:16 GMT

Size

78.06 KB

SIGMD5

8b976022f5cad68c213a8687a2bafe45

License

GPLv2+

Buildroot

f33-build-288027-53958

Provides

4ti2-devel = 1.6.9-7.fc33

4ti2-devel(riscv-64) = 1.6.9-7.fc33

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

4ti2-libs(riscv-64) = 1.6.9-7.fc33

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

Name	Size
Page: 1 through 50 of 145 >>>
/usr/include/4ti2	0.00 B
/usr/include/4ti2/4ti2	0.00 B
/usr/include/4ti2/groebner	0.00 B
/usr/include/4ti2/util	0.00 B
/usr/include/4ti2/zsolve	0.00 B
/usr/lib64/libzsolve.so	18.00 B
/usr/lib64/lib4ti2gmp.so	19.00 B
/usr/lib64/lib4ti2util.so	20.00 B
/usr/lib64/lib4ti2int32.so	21.00 B
/usr/lib64/lib4ti2int64.so	21.00 B
/usr/lib64/lib4ti2common.so	22.00 B
/usr/include/4ti2/util/gensymm.h	31.00 B
/usr/include/4ti2/util/genmodel.h	32.00 B
/usr/include/4ti2/util/output.h	142.00 B
/usr/include/4ti2/4ti2/4ti2_config.h	530.00 B
/usr/include/4ti2/groebner/Size.h	957.00 B
/usr/include/4ti2/groebner/Index.h	960.00 B
/usr/include/4ti2/groebner/Debug.h	970.00 B
/usr/include/4ti2/groebner/Filter.h	972.00 B
/usr/include/4ti2/groebner/SignPattern.h	992.00 B
/usr/include/4ti2/groebner/QSolveVariant.h	1015.00 B
/usr/include/4ti2/groebner/Weight.h	1.00 KB
/usr/include/4ti2/groebner/Permutation.h	1.01 KB
/usr/include/4ti2/groebner/QSolveConsOrder.h	1.02 KB
/usr/include/4ti2/groebner/Grading.h	1.03 KB
/usr/include/4ti2/groebner/IndexBinomialSet.h	1.06 KB
/usr/include/4ti2/groebner/Truncate.h	1.06 KB
/usr/include/4ti2/groebner/BinomialSetStream.h	1.06 KB
/usr/include/4ti2/groebner/BinomialStream.h	1.07 KB
/usr/include/4ti2/groebner/BinomialArrayStream.h	1.07 KB
/usr/include/4ti2/groebner/BitSet.h	1.09 KB
/usr/include/4ti2/zsolve/RelAPI.h	1.11 KB
/usr/include/4ti2/groebner/FeasibleStream.h	1.12 KB
/usr/include/4ti2/zsolve/SignAPI.h	1.12 KB
/usr/include/4ti2/groebner/FlipCompletion.h	1.12 KB
/usr/include/4ti2/groebner/BitSetStream.h	1.17 KB
/usr/include/4ti2/groebner/EliminateAlgorithm.h	1.17 KB
/usr/include/4ti2/groebner/Timer.h	1.20 KB
/usr/include/4ti2/groebner/Reduction.h	1.24 KB
/usr/include/4ti2/groebner/RaysAPI.h	1.25 KB
/usr/include/4ti2/groebner/IndexSetConverter.h	1.25 KB
/usr/include/4ti2/groebner/Extract.h	1.25 KB
/usr/include/4ti2/groebner/CircuitsAPI.h	1.27 KB
/usr/include/4ti2/groebner/Options.h	1.28 KB
/usr/include/4ti2/groebner/Algorithm.h	1.29 KB
/usr/include/4ti2/groebner/WalkOptions.h	1.30 KB
/usr/include/4ti2/groebner/BinomialCollection.h	1.30 KB
/usr/include/4ti2/groebner/BasicOptions.h	1.31 KB
/usr/include/4ti2/groebner/BasicCompletion.h	1.31 KB
/usr/include/4ti2/groebner/MinimizeOptions.h	1.32 KB

Component of

No Buildroots

Main Site Links:

Information for RPM 4ti2-devel-1.6.9-7.fc33.riscv64.rpm