4ti2-devel-1.6.7-1.fc25.i686.rpm


Advertisement

Description

4ti2-devel - Headers needed to develop software that uses 4ti2

Property Value
Distribution Fedora 25
Repository Fedora i386
Package name 4ti2-devel
Package version 1.6.7
Package release 1.fc25
Package architecture i686
Package type rpm
Installed size 554.51 KB
Download size 86.46 KB
Official Mirror dl.fedoraproject.org
Headers and library files needed to develop software that uses 4ti2.

Alternatives

Package Version Architecture Repository
4ti2-devel-1.6.7-1.fc25.i686.rpm 1.6.7 i686 Fedora
4ti2-devel-1.6.7-1.fc25.x86_64.rpm 1.6.7 x86_64 Fedora
4ti2-devel - - -

Requires

Name Value
4ti2-libs(x86-32) = 1.6.7-1.fc25
gmp-devel(x86-32) -
lib4ti2common.so.0 -
lib4ti2gmp.so.0 -
lib4ti2int32.so.0 -
lib4ti2int64.so.0 -
lib4ti2util.so.0 -
libzsolve.so.0 -

Provides

Name Value
4ti2-devel = 1.6.7-1.fc25
4ti2-devel(x86-32) = 1.6.7-1.fc25

Download

Type URL
Binary Package 4ti2-devel-1.6.7-1.fc25.i686.rpm
Source Package latte-integrale-1.7.3b-1.fc25.src.rpm

Install Howto

Install the 4ti2-devel rpm package:

# dnf install 4ti2-devel

Files

Path
/usr/include/4ti2/
/usr/include/4ti2/4ti2/4ti2.h
/usr/include/4ti2/4ti2/4ti2_config.h
/usr/include/4ti2/4ti2/4ti2xx.h
/usr/include/4ti2/groebner/Algorithm.h
/usr/include/4ti2/groebner/BasicCompletion.h
/usr/include/4ti2/groebner/BasicGeneration.h
/usr/include/4ti2/groebner/BasicOptions.h
/usr/include/4ti2/groebner/BasicReduction.h
/usr/include/4ti2/groebner/Binomial.h
/usr/include/4ti2/groebner/BinomialArray.h
/usr/include/4ti2/groebner/BinomialArrayStream.h
/usr/include/4ti2/groebner/BinomialCollection.h
/usr/include/4ti2/groebner/BinomialFactory.h
/usr/include/4ti2/groebner/BinomialSet.h
/usr/include/4ti2/groebner/BinomialSetStream.h
/usr/include/4ti2/groebner/BinomialStream.h
/usr/include/4ti2/groebner/BitSet.h
/usr/include/4ti2/groebner/BitSetStream.h
/usr/include/4ti2/groebner/Bounded.h
/usr/include/4ti2/groebner/CircuitImplementation.h
/usr/include/4ti2/groebner/CircuitImplementation.tpp
/usr/include/4ti2/groebner/CircuitMatrixAlgorithm.h
/usr/include/4ti2/groebner/CircuitMatrixAlgorithm.tpp
/usr/include/4ti2/groebner/CircuitOptions.h
/usr/include/4ti2/groebner/CircuitSupportAlgorithm.h
/usr/include/4ti2/groebner/CircuitSupportAlgorithm.tpp
/usr/include/4ti2/groebner/CircuitsAPI.h
/usr/include/4ti2/groebner/Completion.h
/usr/include/4ti2/groebner/DataType.h
/usr/include/4ti2/groebner/Debug.h
/usr/include/4ti2/groebner/DiagonalAlgorithm.h
/usr/include/4ti2/groebner/DiagonalAlgorithm.tpp
/usr/include/4ti2/groebner/EliminateAlgorithm.h
/usr/include/4ti2/groebner/Euclidean.h
/usr/include/4ti2/groebner/Extract.h
/usr/include/4ti2/groebner/Feasible.h
/usr/include/4ti2/groebner/FeasibleStream.h
/usr/include/4ti2/groebner/Filter.h
/usr/include/4ti2/groebner/FilterReduction.h
/usr/include/4ti2/groebner/FlipCompletion.h
/usr/include/4ti2/groebner/GeneratingSet.h
/usr/include/4ti2/groebner/Generation.h
/usr/include/4ti2/groebner/Globals.h
/usr/include/4ti2/groebner/Grading.h
/usr/include/4ti2/groebner/GroebnerBasis.h
/usr/include/4ti2/groebner/HermiteAlgorithm.h
/usr/include/4ti2/groebner/HermiteAlgorithm.tpp
/usr/include/4ti2/groebner/HybridGenSet.h
/usr/include/4ti2/groebner/Index.h
/usr/include/4ti2/groebner/IndexBinomialSet.h
/usr/include/4ti2/groebner/IndexSetConverter.h
/usr/include/4ti2/groebner/LatticeBasis.h
/usr/include/4ti2/groebner/LongDenseIndexSet.h
/usr/include/4ti2/groebner/LongDenseIndexSetStream.h
/usr/include/4ti2/groebner/Markov.h
/usr/include/4ti2/groebner/MaxMinGenSet.h
/usr/include/4ti2/groebner/Minimize.h
/usr/include/4ti2/groebner/MinimizeOptions.h
/usr/include/4ti2/groebner/OnesReduction.h
/usr/include/4ti2/groebner/OnesTree.h
/usr/include/4ti2/groebner/OnesTree.tpp
/usr/include/4ti2/groebner/Optimise.h
/usr/include/4ti2/groebner/Options.h
/usr/include/4ti2/groebner/OrderedCompletion.h
/usr/include/4ti2/groebner/Permutation.h
/usr/include/4ti2/groebner/ProjectLiftGenSet.h
/usr/include/4ti2/groebner/QSolveAPI.h
/usr/include/4ti2/groebner/QSolveAlgorithm.h
/usr/include/4ti2/groebner/QSolveConsOrder.h
/usr/include/4ti2/groebner/QSolveVariant.h
/usr/include/4ti2/groebner/RayAlgorithm.h
/usr/include/4ti2/groebner/RayImplementation.h
/usr/include/4ti2/groebner/RayImplementation.tpp
/usr/include/4ti2/groebner/RayMatrixAlgorithm.h
/usr/include/4ti2/groebner/RayMatrixAlgorithm.tpp
/usr/include/4ti2/groebner/RaySupportAlgorithm.h
/usr/include/4ti2/groebner/RaySupportAlgorithm.tpp
/usr/include/4ti2/groebner/RaysAPI.h
/usr/include/4ti2/groebner/Reduction.h
/usr/include/4ti2/groebner/SaturationGenSet.h
/usr/include/4ti2/groebner/ShortDenseIndexSet.h
/usr/include/4ti2/groebner/ShortDenseIndexSetStream.h
/usr/include/4ti2/groebner/SignPattern.h
/usr/include/4ti2/groebner/Size.h
/usr/include/4ti2/groebner/Statistics.h
/usr/include/4ti2/groebner/SupportTree.h
/usr/include/4ti2/groebner/SupportTree.tpp
/usr/include/4ti2/groebner/SyzygyCompletion.h
/usr/include/4ti2/groebner/SyzygyGeneration.h
/usr/include/4ti2/groebner/TermOrder.h
/usr/include/4ti2/groebner/Timer.h
/usr/include/4ti2/groebner/Truncate.h
/usr/include/4ti2/groebner/Vector.h
/usr/include/4ti2/groebner/VectorArray.h
/usr/include/4ti2/groebner/VectorArrayAPI.h
/usr/include/4ti2/groebner/VectorArrayStream.h
/usr/include/4ti2/groebner/VectorStream.h
/usr/include/4ti2/groebner/WalkAlgorithm.h
/usr/include/4ti2/groebner/WalkOptions.h
/usr/include/4ti2/groebner/Weight.h
/usr/include/4ti2/groebner/WeightAlgorithm.h
/usr/include/4ti2/groebner/WeightedBinomialSet.h
/usr/include/4ti2/groebner/WeightedReduction.h
/usr/include/4ti2/util/genmodel.h
/usr/include/4ti2/util/gensymm.h
/usr/include/4ti2/util/myheader.h
/usr/include/4ti2/util/orbit.h
/usr/include/4ti2/util/output.h
/usr/include/4ti2/util/print.h
/usr/include/4ti2/util/vector.h
/usr/include/4ti2/zsolve/Algorithm.hpp
/usr/include/4ti2/zsolve/BitSet.h
/usr/include/4ti2/zsolve/BoundAPI.hpp
/usr/include/4ti2/zsolve/Controller.hpp
/usr/include/4ti2/zsolve/DefaultController.hpp
/usr/include/4ti2/zsolve/Exception.h
/usr/include/4ti2/zsolve/GraverAPI.hpp
/usr/include/4ti2/zsolve/Heuristics.hpp
/usr/include/4ti2/zsolve/HilbertAPI.hpp
/usr/include/4ti2/zsolve/Integer.h
/usr/include/4ti2/zsolve/Lattice.hpp
/usr/include/4ti2/zsolve/LinearSystem.hpp
/usr/include/4ti2/zsolve/Norms.hpp
/usr/include/4ti2/zsolve/Options.h
/usr/include/4ti2/zsolve/RelAPI.h
/usr/include/4ti2/zsolve/Relation.hpp
/usr/include/4ti2/zsolve/SignAPI.h
/usr/include/4ti2/zsolve/Timer.h
/usr/include/4ti2/zsolve/Variables.hpp
/usr/include/4ti2/zsolve/Vector.hpp
/usr/include/4ti2/zsolve/VectorArray.hpp
/usr/include/4ti2/zsolve/VectorArrayAPI.hpp
/usr/include/4ti2/zsolve/ZSolveAPI.hpp
/usr/include/4ti2/zsolve/zsolve.h
/usr/lib/lib4ti2common.so
/usr/lib/lib4ti2gmp.so
/usr/lib/lib4ti2int32.so
/usr/lib/lib4ti2int64.so
/usr/lib/lib4ti2util.so
/usr/lib/libzsolve.so

Changelog

See latte-integrale-1.7.3b-1.fc25.i686.rpm changelog.

See Also

Package Description
4ti2-libs-1.6.7-1.fc25.i686.rpm Library files for programs that use 4ti2
64tass-1.51.727-3.fc24.i686.rpm 6502 assembler
7kaa-2.14.5-12.fc25.i686.rpm Seven Kingdoms: Ancient Adversaries
7kaa-data-2.14.5-12.fc25.noarch.rpm In-Game data Seven Kingdoms: Ancient Adversaries
7kaa-music-2.14.5-12.fc25.noarch.rpm In-Game music for Seven Kingdoms: Ancient Adversaries
99soft-oss-parent-10-7.fc25.noarch.rpm 99 Software Foundation parent pom
9pfs-1.0.9-7.fc25.noarch.rpm Plan9 filesystem server
9wm-1.3.5-2.fc24.i686.rpm Emulation of the Plan 9 window manager 8 1/2
AGReader-1.2-15.fc24.i686.rpm Console reader for viewing AmigaGuide files
ATpy-0.9.7-9.fc25.noarch.rpm Astronomical Tables in Python
AcetoneISO-6.7-16.fc24.i686.rpm CD/DVD Image Manipulator
Add64-1.2.2-10.fc24.i686.rpm An additive synthesizer using JACK
Agda-2.4.2.5-1.fc25.i686.rpm A dependently typed functional programming language and proof assistant
Agda-stdlib-0.9-3.fc24.i686.rpm Agda standard libraries
Agda-stdlib-docs-0.9-3.fc24.noarch.rpm Agda standard libraries documentation
Advertisement
Advertisement