Content of RPM 4ti2-devel-1.3.2-4.1.x86_64.rpm :
/usr/include/pkg
/usr/include/pkg/4ti2
/usr/include/pkg/4ti2/Algorithm.h
/usr/include/pkg/4ti2/BasicCompletion.h
/usr/include/pkg/4ti2/BasicGeneration.h
/usr/include/pkg/4ti2/BasicOptions.h
/usr/include/pkg/4ti2/BasicReduction.h
/usr/include/pkg/4ti2/Binomial.h
/usr/include/pkg/4ti2/BinomialArray.h
/usr/include/pkg/4ti2/BinomialArrayStream.h
/usr/include/pkg/4ti2/BinomialCollection.h
/usr/include/pkg/4ti2/BinomialFactory.h
/usr/include/pkg/4ti2/BinomialSet.h
/usr/include/pkg/4ti2/BinomialSetStream.h
/usr/include/pkg/4ti2/BinomialStream.h
/usr/include/pkg/4ti2/BitSet.h
/usr/include/pkg/4ti2/BitSetStream.h
/usr/include/pkg/4ti2/Bounded.h
/usr/include/pkg/4ti2/CircuitAlgorithm.h
/usr/include/pkg/4ti2/CircuitImplementation.h
/usr/include/pkg/4ti2/CircuitMatrixAlgorithm.h
/usr/include/pkg/4ti2/CircuitOptions.h
/usr/include/pkg/4ti2/CircuitSupportAlgorithm.h
/usr/include/pkg/4ti2/Completion.h
/usr/include/pkg/4ti2/DataType.h
/usr/include/pkg/4ti2/Debug.h
/usr/include/pkg/4ti2/DiagonalAlgorithm.h
/usr/include/pkg/4ti2/EliminateAlgorithm.h
/usr/include/pkg/4ti2/Euclidean.h
/usr/include/pkg/4ti2/Extract.h
/usr/include/pkg/4ti2/Feasible.h
/usr/include/pkg/4ti2/FeasibleStream.h
/usr/include/pkg/4ti2/Filter.h
/usr/include/pkg/4ti2/FilterReduction.h
/usr/include/pkg/4ti2/FlipCompletion.h
/usr/include/pkg/4ti2/GeneratingSet.h
/usr/include/pkg/4ti2/Generation.h
/usr/include/pkg/4ti2/Globals.h
/usr/include/pkg/4ti2/Grading.h
/usr/include/pkg/4ti2/GroebnerBasis.h
/usr/include/pkg/4ti2/HermiteAlgorithm.h
/usr/include/pkg/4ti2/HybridGenSet.h
/usr/include/pkg/4ti2/Index.h
/usr/include/pkg/4ti2/IndexBinomialSet.h
/usr/include/pkg/4ti2/IndexSetConverter.h
/usr/include/pkg/4ti2/LatticeBasis.h
/usr/include/pkg/4ti2/LongDenseIndexSet.h
/usr/include/pkg/4ti2/LongDenseIndexSetStream.h
/usr/include/pkg/4ti2/Markov.h
/usr/include/pkg/4ti2/MaxMinGenSet.h
/usr/include/pkg/4ti2/Minimize.h
/usr/include/pkg/4ti2/MinimizeOptions.h
/usr/include/pkg/4ti2/OnesReduction.h
/usr/include/pkg/4ti2/OnesTree.h
/usr/include/pkg/4ti2/Optimise.h
/usr/include/pkg/4ti2/Options.h
/usr/include/pkg/4ti2/OrderedCompletion.h
/usr/include/pkg/4ti2/Permutation.h
/usr/include/pkg/4ti2/ProjectLiftGenSet.h
/usr/include/pkg/4ti2/RayAlgorithm.h
/usr/include/pkg/4ti2/RayImplementation.h
/usr/include/pkg/4ti2/RayMatrixAlgorithm.h
/usr/include/pkg/4ti2/RaySupportAlgorithm.h
/usr/include/pkg/4ti2/Reduction.h
/usr/include/pkg/4ti2/SaturationGenSet.h
/usr/include/pkg/4ti2/ShortDenseIndexSet.h
/usr/include/pkg/4ti2/ShortDenseIndexSetStream.h
/usr/include/pkg/4ti2/SignPattern.h
/usr/include/pkg/4ti2/Size.h
/usr/include/pkg/4ti2/Statistics.h
/usr/include/pkg/4ti2/SupportTree.h
/usr/include/pkg/4ti2/SyzygyCompletion.h
/usr/include/pkg/4ti2/SyzygyGeneration.h
/usr/include/pkg/4ti2/TermOrder.h
/usr/include/pkg/4ti2/Timer.h
/usr/include/pkg/4ti2/Truncate.h
/usr/include/pkg/4ti2/Vector.h
/usr/include/pkg/4ti2/VectorArray.h
/usr/include/pkg/4ti2/VectorArrayStream.h
/usr/include/pkg/4ti2/VectorStream.h
/usr/include/pkg/4ti2/WalkAlgorithm.h
/usr/include/pkg/4ti2/WalkOptions.h
/usr/include/pkg/4ti2/Weight.h
/usr/include/pkg/4ti2/WeightAlgorithm.h
/usr/include/pkg/4ti2/WeightedBinomialSet.h
/usr/include/pkg/4ti2/WeightedReduction.h
/usr/include/pkg/4ti2/cputime.h
/usr/include/pkg/4ti2/defs.h
/usr/include/pkg/4ti2/indexarray.h
/usr/include/pkg/4ti2/lattice.h
/usr/include/pkg/4ti2/libzsolve.h
/usr/include/pkg/4ti2/linearsystem.h
/usr/include/pkg/4ti2/matrix.h
/usr/include/pkg/4ti2/opts.h
/usr/include/pkg/4ti2/valuetrees.h
/usr/include/pkg/4ti2/varproperties.h
/usr/include/pkg/4ti2/vector.h
/usr/include/pkg/4ti2/vectorarray.h
/usr/lib64/lib4ti2gmp.so
/usr/lib64/lib4ti2int32.so
/usr/lib64/lib4ti2int64.so
/usr/lib64/libzsolve.so