Fedora 43 native package

4ti2-devel

Headers needed to develop software that uses 4ti2

Packages / Fedora 43 / Unspecified / 4ti2-devel

[Source: 4ti2]

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

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.fc43)
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 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

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 43 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.fc43	43 / updates	aarch64	Fedora 43 · updates · aarch64	101 KiB	555 KiB	Packages/4/4ti2-devel-1.6.15-1.fc43.aarch64.rpm
1.6.15-1.fc43	43 / updates	x86_64	Fedora 43 · updates · x86_64	101 KiB	555 KiB	Packages/4/4ti2-devel-1.6.15-1.fc43.x86_64.rpm
1.6.13-1.fc43	43 / everything	aarch64	Fedora 43 · Everything · aarch64	101 KiB	554 KiB	Packages/4/4ti2-devel-1.6.13-1.fc43.aarch64.rpm
1.6.13-1.fc43	43 / everything	x86_64	Fedora 43 · Everything · x86_64	101 KiB	554 KiB	Packages/4/4ti2-devel-1.6.13-1.fc43.x86_64.rpm

Field source: Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

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.fc43 / 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: 97bd4df696ae1322dd231a0d5fcc55755883a8946a4e6b8630c3ef8f58b99b59

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

printf '%s  %s\n' '97bd4df696ae1322dd231a0d5fcc55755883a8946a4e6b8630c3ef8f58b99b59' '4ti2-devel-1.6.15-1.fc43.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 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

1.6.15-1.fc43 / 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: 7816702ff0421ffc9d95d78a14704bb2653a88a4be86559ea069ced312b0859c

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

printf '%s  %s\n' '7816702ff0421ffc9d95d78a14704bb2653a88a4be86559ea069ced312b0859c' '4ti2-devel-1.6.15-1.fc43.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 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

1.6.13-1.fc43 / 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: 83bf7f5edfd2b3c08b7a6a55478f7bda5b8642406db37cd98d29539fc99343d3

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

printf '%s  %s\n' '83bf7f5edfd2b3c08b7a6a55478f7bda5b8642406db37cd98d29539fc99343d3' '4ti2-devel-1.6.13-1.fc43.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 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

1.6.13-1.fc43 / 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: 3734ddc14652b5a0334de9570e1b3f32b900746930cfa877a621c576a96fb89b

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

printf '%s  %s\n' '3734ddc14652b5a0334de9570e1b3f32b900746930cfa877a621c576a96fb89b' '4ti2-devel-1.6.13-1.fc43.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 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

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 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2, Fedora 43 updates aarch64 revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac, Fedora 43 updates x86_64 revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a. 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 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
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-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
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-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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 43 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac
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=updates-released-f43&arch=aarch64
Signed-object SHA-256
0af1807dead0a1d28599a942743e244fe57da21cf6a935b3e4155f4a3f1070a1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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 43 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a
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=updates-released-f43&arch=x86_64
Signed-object SHA-256
3ae5fecc3db8c7b4ce0cf54a8ea572ed4694e7e132e201c2f6ab6570259d1061
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
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