Fedora 44 native package

4ti2-devel

Headers needed to develop software that uses 4ti2

Packages / Fedora 44 / Unspecified / 4ti2-devel

[Source: 4ti2]

Package: 4ti2-devel (1.6.15-1.fc44)

External Resources:

Homepage: [4ti2.github.io]

Similar packages:

[4ti2]
Algebraic, geometric and combinatorial problems on linear spaces
[4ti2-libs]
Library for problems on linear spaces

Headers needed to develop software that uses 4ti2

Headers and library files needed to develop software that uses 4ti2.

Other Packages Related to 4ti2-devel:

dep: 4ti2-libs(aarch-64) (= 1.6.15-1.fc44)
Package not available
dep: gmp-devel(aarch-64)
Package not available
dep: lib4ti2common.so.0()(64bit)
Package not available
dep: lib4ti2gmp.so.0()(64bit)
Package not available
dep: lib4ti2int32.so.0()(64bit)
Package not available
dep: lib4ti2int64.so.0()(64bit)
Package not available
dep: lib4ti2util.so.0()(64bit)
Package not available
dep: libzsolve.so.0()(64bit)
Package not available

Download 4ti2-devel

Architecture	Package Size	Installed Size	Files
aarch64	101 KiB	555 KiB	[list of files]
x86_64	101 KiB	555 KiB	[list of files]

Percorsi file del pacchetto (145)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/include/4ti2
/usr/include/4ti2/4ti2
/usr/include/4ti2/4ti2/4ti2_config.h
/usr/include/4ti2/4ti2/4ti2.h
/usr/include/4ti2/4ti2/4ti2xx.h
/usr/include/4ti2/groebner
/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/BinomialArray.h
/usr/include/4ti2/groebner/BinomialArrayStream.h
/usr/include/4ti2/groebner/BinomialCollection.h
/usr/include/4ti2/groebner/BinomialFactory.h
/usr/include/4ti2/groebner/Binomial.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/CircuitsAPI.h
/usr/include/4ti2/groebner/CircuitSupportAlgorithm.h
/usr/include/4ti2/groebner/CircuitSupportAlgorithm.tpp
/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/IndexBinomialSet.h
/usr/include/4ti2/groebner/Index.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/QSolveAlgorithm.h
/usr/include/4ti2/groebner/QSolveAPI.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/RaysAPI.h
/usr/include/4ti2/groebner/RaySupportAlgorithm.h
/usr/include/4ti2/groebner/RaySupportAlgorithm.tpp
/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/VectorArrayAPI.h
/usr/include/4ti2/groebner/VectorArray.h
/usr/include/4ti2/groebner/VectorArrayStream.h
/usr/include/4ti2/groebner/Vector.h
/usr/include/4ti2/groebner/VectorStream.h
/usr/include/4ti2/groebner/WalkAlgorithm.h
/usr/include/4ti2/groebner/WalkOptions.h
/usr/include/4ti2/groebner/WeightAlgorithm.h
/usr/include/4ti2/groebner/WeightedBinomialSet.h
/usr/include/4ti2/groebner/WeightedReduction.h
/usr/include/4ti2/groebner/Weight.h
/usr/include/4ti2/util
/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
/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/VectorArrayAPI.hpp
/usr/include/4ti2/zsolve/VectorArray.hpp
/usr/include/4ti2/zsolve/Vector.hpp
/usr/include/4ti2/zsolve/ZSolveAPI.hpp
/usr/include/4ti2/zsolve/zsolve.h
/usr/lib64/lib4ti2common.so
/usr/lib64/lib4ti2gmp.so
/usr/lib64/lib4ti2int32.so
/usr/lib64/lib4ti2int64.so
/usr/lib64/lib4ti2util.so
/usr/lib64/libzsolve.so

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Fedora 44 nel browser Crea un'immagine che include 4ti2-devel

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.6.15-1.fc44	44 / everything	aarch64	Fedora 44 · Everything · aarch64	101 KiB	555 KiB	Packages/4/4ti2-devel-1.6.15-1.fc44.aarch64.rpm
1.6.15-1.fc44	44 / everything	x86_64	Fedora 44 · Everything · x86_64	101 KiB	555 KiB	Packages/4/4ti2-devel-1.6.15-1.fc44.x86_64.rpm

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

1.6.15-1.fc44 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 84d264bada40c76b47ef640b611731124d98d7bb0868b42045dae88b74927c81

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '84d264bada40c76b47ef640b611731124d98d7bb0868b42045dae88b74927c81' '4ti2-devel-1.6.15-1.fc44.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

1.6.15-1.fc44 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: f86e799b849c1932ea5f64c11465b2e8a20aa5a8b8e3dc6a03459cacbbf86b39

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'f86e799b849c1932ea5f64c11465b2e8a20aa5a8b8e3dc6a03459cacbbf86b39' '4ti2-devel-1.6.15-1.fc44.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

Fedora 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified
Fedora 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified