Linux workstation

Fedora 43 native package

vipr

Verifying Integer Programming Results

Packages / Fedora 43 / Unspecified / vipr

[Source: vipr]

Package: vipr (1.1^20251029.30f2951-2.fc43)

[Project overview: scip]

External Resources:

Homepage: [scipopt.org]

Verifying Integer Programming Results

VIPR is a software project to verify, in exact rational arithmetic, the correctness of results computed by mixed-integer linear programming solvers. It is based on an elementary file format for LP-based branch-and-cut certificates.

Other Packages Related to vipr:

  • dep: ld-linux-aarch64.so.1()(64bit)

    Package not available

  • dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)

    Package not available

  • dep: libclusol.so.0()(64bit)

    Package not available

  • dep: libgcc_s.so.1()(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_3.0)(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_3.3.1)(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_4.5.0)(64bit)

    Package not available

  • dep: libgmp.so.10()(64bit)

    Package not available

  • dep: libgmpxx.so.4()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.17)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.29)(64bit)

    Package not available

  • dep: libmpfr.so.6()(64bit)

    Package not available

  • dep: libsoplex.so.7.1()(64bit)

    Package not available

  • dep: libstdc++.so.6()(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.7)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.8)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.17)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.26)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.29)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)

    Package not available

  • dep: libtbb.so.12()(64bit)

    Package not available

  • dep: libz-ng.so.2()(64bit)

    Package not available

  • dep: libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)

    Package not available

  • dep: libz-ng.so.2(ZLIB_NG_2.1.0)(64bit)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

  • dep: libc.so.6(GLIBC_2.38)(64bit)

    Package not available

Download vipr

ArchitecturePackage SizeInstalled SizeFiles
aarch641.7 MiB4.6 MiB[list of files]
x86_641.8 MiB5.0 MiB[list of files]

Paketdateipfade (35)

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/bin/vipr2html
  • /usr/bin/viprchk
  • /usr/bin/viprchk_parallel
  • /usr/bin/viprcomp
  • /usr/bin/viprincomp
  • /usr/bin/viprttn
  • /usr/lib/.build-id
  • /usr/lib/.build-id/0a
  • /usr/lib/.build-id/0a/8b33177f85b72ebc2b7fc0b95293e58823c5df
  • /usr/lib/.build-id/0c
  • /usr/lib/.build-id/0c/307ca466a0802f9fc71eeef89353531b636e2e
  • /usr/lib/.build-id/1b
  • /usr/lib/.build-id/1b/c6fc46488055c1b0140cd55914072401333094
  • /usr/lib/.build-id/27
  • /usr/lib/.build-id/27/6f6407f9212a39c529c7b54064f557c5b763f0
  • /usr/lib/.build-id/30
  • /usr/lib/.build-id/30/2397a4f3728d6a4193eac671e8fdb67350cd1e
  • /usr/lib/.build-id/51
  • /usr/lib/.build-id/51/4da45ea0a3e4c3f5758712706d19764c3dab99
  • /usr/lib/.build-id/58
  • /usr/lib/.build-id/58/4d9147aca74314ef15341c75a74f00957cc221
  • /usr/lib/.build-id/70
  • /usr/lib/.build-id/70/7204504927e19aa74ef10a6861a3430d662525
  • /usr/lib/.build-id/a4
  • /usr/lib/.build-id/a4/6c5967116bfd7b8e5b120ec37cf15ba5dc397f
  • /usr/lib/.build-id/c5
  • /usr/lib/.build-id/c5/3d0f1658554af12fbd04a85d0616adedf2c559
  • /usr/lib/.build-id/c6
  • /usr/lib/.build-id/c6/2e091c3d49e1830b6df05074632070c22284f9
  • /usr/lib/.build-id/f9
  • /usr/lib/.build-id/f9/07a5235869140cfcd228ff973f6f50a1fff7a0
  • /usr/share/doc/vipr
  • /usr/share/doc/vipr/cert_spec_v1_0.md
  • /usr/share/doc/vipr/cert_spec_v1_1.md
  • /usr/share/doc/vipr/README.md

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

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Fedora 43 im Browser testenImage mit vipr bauen

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
1.1^20251029.30f2951-2.fc4343 / updatesaarch64Fedora 43 · updates · aarch641.7 MiB4.6 MiBPackages/v/vipr-1.1^20251029.30f2951-2.fc43.aarch64.rpm
1.1^20251029.30f2951-2.fc4343 / updatesx86_64Fedora 43 · updates · x86_641.8 MiB5.0 MiBPackages/v/vipr-1.1^20251029.30f2951-2.fc43.x86_64.rpm

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

Prüfsummen und Beobachtungsdaten

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.1^20251029.30f2951-2.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: 1837da3d52938b93f943c6859ea7726f3e5bad226dd246ee58f8a599426e6a21

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

printf '%s %s\n' '1837da3d52938b93f943c6859ea7726f3e5bad226dd246ee58f8a599426e6a21' 'vipr-1.1^20251029.30f2951-2.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.1^20251029.30f2951-2.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: ac29a8e4baf98dba329b796bc72dae60fdb1640610fc164dbd83c8702d74e8f8

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

printf '%s %s\n' 'ac29a8e4baf98dba329b796bc72dae60fdb1640610fc164dbd83c8702d74e8f8' 'vipr-1.1^20251029.30f2951-2.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

Vollständigkeit des Katalogsatzes

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 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

Quellen und Herkunft

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 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 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 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