Linux workstation

Fedora 44 native package

ocaml-0install-solver

Package dependency solver

Packages / Fedora 44 / Unspecified / ocaml-0install-solver

[Source: 0install]

Package: ocaml-0install-solver (2.18-11.fc44)

External Resources:

Homepage: [0install.net]

Similar packages:

Package dependency solver

Zero Install is a decentralized cross-distribution software installation system. Other features include full support for shared libraries (with a SAT solver for dependency resolution), sharing between users, and integration with native platform package managers. It supports both binary and source packages, and works on Linux, macOS, Unix and Windows systems. This package contains a package dependency resolver based on a SAT solver. This was originally written for the 0install package manager, but is now generic and is also used as a solver backend for opam. The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and the application to package management is based on OPIUM (Optimal Package Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find the optimal solution extremely quickly (even for a SAT-based solver).

Other Packages Related to ocaml-0install-solver:

  • dep: ocaml(CamlinternalFormatBasics) (= bb23651112c1e05c61498d902472830d)

    Package not available

  • dep: ocaml(CamlinternalLazy) (= 321f83e197d23ef3129f66a139b9829f)

    Package not available

  • dep: ocaml(CamlinternalOO) (= d5be92aadc09753243a454f1f9c22271)

    Package not available

  • dep: ocaml(Stdlib) (= 7ff659a4a6b8ca32adc85623b24921e4)

    Package not available

  • dep: ocaml(Stdlib__Array) (= c1e9990cfc96f4a80be219086df84a1a)

    Package not available

  • dep: ocaml(Stdlib__Buffer) (= 199531813c148c733aa4841901f61885)

    Package not available

  • dep: ocaml(Stdlib__Domain) (= f4f911af3a887deb4246da1952f3bbde)

    Package not available

  • dep: ocaml(Stdlib__Either) (= d0d544d8ad6cd8d3916ef604e87e8b79)

    Package not available

  • dep: ocaml(Stdlib__Format) (= 59fa71efaaaea19dea6b27602dcaaaa2)

    Package not available

  • dep: ocaml(Stdlib__Hashtbl) (= 962e9d183e8a207a666ca7506cf46032)

    Package not available

  • dep: ocaml(Stdlib__Int32) (= eb4f33ed29b560525b336e79955fa30a)

    Package not available

  • dep: ocaml(Stdlib__Lazy) (= d0b8d3be22a8b5bdfc9dda1877ae006f)

    Package not available

  • dep: ocaml(Stdlib__List) (= 1f65c7c74ac3633417a8002cc6dd0e53)

    Package not available

  • dep: ocaml(Stdlib__ListLabels) (= 43b801e513a8dd4facd34a1a8f3eb12b)

    Package not available

  • dep: ocaml(Stdlib__Map) (= 2d8ea4e0be35a4403643e7043fc81316)

    Package not available

  • dep: ocaml(Stdlib__Obj) (= 70f3df7415d40eb721c8413fa408b7b6)

    Package not available

  • dep: ocaml(Stdlib__Option) (= 5dd530e73cd2228aca2eb864ae31550b)

    Package not available

  • dep: ocaml(Stdlib__Queue) (= 3b321c1bad5b935cfbf4767b238e4180)

    Package not available

  • dep: ocaml(Stdlib__Seq) (= 1d1c31e02b77070ff0e51eaaab2af0cc)

    Package not available

  • dep: ocaml(Stdlib__Set) (= f1c0353417503cf69279f65dd7b31d22)

    Package not available

  • dep: ocaml(Stdlib__String) (= 64f1c33cae78f3dd80ca58dbba3deaf9)

    Package not available

  • dep: ocaml(Stdlib__Uchar) (= f6a44dd0c2e2c80b44deed7eb3c121ef)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

Download ocaml-0install-solver

ArchitecturePackage SizeInstalled SizeFiles
x86_64289 KiB534 KiB[list of files]

Percorsi file del pacchetto (20)

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/lib64/ocaml/0install-solver
  • /usr/lib64/ocaml/0install-solver/META
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver.cma
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmi
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver__.cmi
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver__Diagnostics.cmi
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver__Sat.cmi
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver__S.cmi
  • /usr/lib64/ocaml/0install-solver/zeroinstall_solver__Solver_core.cmi
  • /usr/lib/.build-id
  • /usr/lib/.build-id/2a
  • /usr/lib/.build-id/2a/3d9db0399f09daf3eec1f093f4fb2929a7d42a
  • /usr/lib/.build-id/43
  • /usr/lib/.build-id/43/f09775112e61fb4cef97ae3a302f6f1244ca92
  • /usr/share/doc/ocaml-0install-solver
  • /usr/share/doc/ocaml-0install-solver/CHANGES.md
  • /usr/share/doc/ocaml-0install-solver/README.md
  • /usr/share/licenses/ocaml-0install-solver
  • /usr/share/licenses/ocaml-0install-solver/COPYING

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

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 browserCrea un'immagine che include ocaml-0install-solver

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.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.18-11.fc4444 / everythingx86_64Fedora 44 · Everything · x86_64289 KiB534 KiBPackages/o/ocaml-0install-solver-2.18-11.fc44.x86_64.rpm

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

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.

2.18-11.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: fb2ac173cd21017f69ffde46dd963cabb2f9c829107310433287e618f20c4851

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

printf '%s %s\n' 'fb2ac173cd21017f69ffde46dd963cabb2f9c829107310433287e618f20c4851' 'ocaml-0install-solver-2.18-11.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 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 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

ocaml-0install-solver Package for Fedora 44 | OpenFactory