4ti2-devel-1.6.10-1.fc38.riscv64.rpm | RPM Info

Information for RPM 4ti2-devel-1.6.10-1.fc38.riscv64.rpm

1024489

Name

4ti2-devel

Version

1.6.10

Release

1.fc38

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-06-12 08:26:57 GMT

Size

78.24 KB

SIGMD5

995298ea08ec80d18d4aafce7843f6c2

License

GPL-2.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later

Buildroot

f38-build-721812-98593

Provides

4ti2-devel = 1.6.10-1.fc38

4ti2-devel(riscv-64) = 1.6.10-1.fc38

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

4ti2-libs(riscv-64) = 1.6.10-1.fc38

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

Buildroot	Created	State
1 through 1 of 1
f40-build-749584-114434	2023-11-28 04:50:18

Main Site Links:

Information for RPM 4ti2-devel-1.6.10-1.fc38.riscv64.rpm