Packages / Fedora 43 / Unspecified / ocaml-alt-ergo-parsers

[Source: alt-ergo]

Package: ocaml-alt-ergo-parsers (2.3.3-28.fc43)

Parser library used by the Alt-Ergo SMT solver

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. This package contains the parser library used by the Alt-Ergo SMT solver.

Other Packages Related to ocaml-alt-ergo-parsers:

  • dep: ocaml(AltErgoLib) (= 4bb4f93905e596c2b8ecc24fc16d31f6)

    Package not available

  • dep: ocaml(AltErgoLib__Config) (= 9aaa1da9433c07c86b584ef50a4dcf82)

    Package not available

  • dep: ocaml(AltErgoLib__Errors) (= 3772753535a5bed26f6ff57747646492)

    Package not available

  • dep: ocaml(AltErgoLib__Hstring) (= 16911fc0473d3f03256ae9ee74925fee)

    Package not available

  • dep: ocaml(AltErgoLib__Loc) (= 94a1d1dc4899be5261fd5e652bd00e34)

    Package not available

  • dep: ocaml(AltErgoLib__MyDynlink) (= a10b2a404f648b938cda50496cb794f1)

    Package not available

  • dep: ocaml(AltErgoLib__Numbers) (= 4489fa1256880ffb66125d565c487b70)

    Package not available

  • dep: ocaml(AltErgoLib__NumbersInterface) (= 57951aa763047c2975ea434f0bb66617)

    Package not available

  • dep: ocaml(AltErgoLib__Options) (= 5b0efe6c35fe82d6776e8930e9332bcd)

    Package not available

  • dep: ocaml(AltErgoLib__Parsed) (= 8edc0287f12c40665cd666d52f421e95)

    Package not available

  • dep: ocaml(AltErgoLib__Parsed_interface) (= 1e995765b4355d954a2e1d47c14c771c)

    Package not available

  • dep: ocaml(AltErgoLib__Symbols) (= 0c525027d45b1f5c918e6ed25626564a)

    Package not available

  • dep: ocaml(AltErgoLib__Ty) (= fbcc26ba110d5329247e54ed73fa56f8)

    Package not available

  • dep: ocaml(AltErgoLib__Util) (= f949b627fd5e2fbbd546f53f7f13a986)

    Package not available

  • dep: ocaml(AltErgoLib__Var) (= b9ebf2fc76b06a147cf21f4de84275b1)

    Package not available

  • dep: ocaml(Big_int) (= 8b70c3baa0dd4497291649f4406ff564)

    Package not available

  • dep: ocaml(CamlinternalFormatBasics) (= aa550bdab521d60e769a9ad43a677e65)

    Package not available

  • dep: ocaml(Nat) (= ac055b7b9c802e3a7c7b5b4de2a0a7db)

    Package not available

  • dep: ocaml(Num) (= 7f09aa952e547d565a7274a0bbe9de28)

    Package not available

  • dep: ocaml(Psmt2Frontend) (= da1c48621eefb93bdb5487f67512e807)

    Package not available

  • dep: ocaml(Psmt2Frontend__Options) (= f9085dc5b042e4da1cd5e75167bdadc7)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_error) (= 4c6e6324e5441e8ba3325d09a4c9dacd)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_lexer) (= fdbc1aba625531e8176b5098e36c5c70)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_parser) (= c1544d41e1d6b5fdb7977a04bb88fb0c)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_printer) (= 89c2fe940f9e39796dc263797e08cc8c)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_syntax) (= 84f494d542c5f758df42028a1581a53a)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_ty) (= 8f30bf5be4431fa5b4e5f42c2d62c1c9)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_typed_env) (= 5d1fc87a782daebb3332ec9e9fe043b4)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_typed_logic) (= 1e82f54e2c5a8bb356b2745f9ace1ced)

    Package not available

  • dep: ocaml(Psmt2Frontend__Smtlib_typing) (= 243852d0888387869e7439b9d32dae59)

    Package not available

  • dep: ocaml(Ratio) (= 4d4935f2d9806f8c43fd53cd32adbbfc)

    Package not available

  • dep: ocaml(Stdlib) (= cfc6abca663b2d71db1750a2c051cf6e)

    Package not available

  • dep: ocaml(Stdlib__Arg) (= 42e5c744281ca6c68a1c77928ebe6b38)

    Package not available

  • dep: ocaml(Stdlib__Array) (= 9d976b3b47c2c5800331b7449565b98c)

    Package not available

  • dep: ocaml(Stdlib__Buffer) (= bf6c18db9a96f4c2d97dddb7f07cdee4)

    Package not available

  • dep: ocaml(Stdlib__Char) (= 9d1b9b22570f14b7df32bb39bc59d2f2)

    Package not available

  • dep: ocaml(Stdlib__Domain) (= 24d9be01b1377d92ed29d08905486a54)

    Package not available

  • dep: ocaml(Stdlib__Either) (= c90604673db95a8e7dbd131a219e37c5)

    Package not available

  • dep: ocaml(Stdlib__Filename) (= f74cc059dcb93d696ed0ec81c946c31f)

    Package not available

  • dep: ocaml(Stdlib__Format) (= 60af4e0c98f0be0b9d368a2a09700b3a)

    Package not available

  • dep: ocaml(Stdlib__Hashtbl) (= 62d90b388a282ba341dbe91a50a61569)

    Package not available

  • dep: ocaml(Stdlib__Int32) (= c023c5ff3d236c9ddea65bf3e12846b5)

    Package not available

  • dep: ocaml(Stdlib__Lexing) (= 3e6ab8b82b1880d4ad2ced0d57aca6f7)

    Package not available

  • dep: ocaml(Stdlib__List) (= a30617a473d55bfeb31bc8cb1d8035c0)

    Package not available

  • dep: ocaml(Stdlib__Map) (= c89b7925344cf894dcfa15de9855271e)

    Package not available

  • dep: ocaml(Stdlib__Obj) (= 95b257801d6620efb9f733a08b806029)

    Package not available

  • dep: ocaml(Stdlib__Parsing) (= bd54edc573639370f05685f6024fec11)

    Package not available

  • dep: ocaml(Stdlib__Printf) (= 53d0458f8bd9e6a47c1910b76e8b6f06)

    Package not available

  • dep: ocaml(Stdlib__Seq) (= a98573564faae435d9a1e05d5d2938ff)

    Package not available

  • dep: ocaml(Stdlib__Set) (= 35df46d1279edd62fbcfbe1072794627)

    Package not available

  • dep: ocaml(Stdlib__Stack) (= df4c36d6bbb131372027ae59ce7346dc)

    Package not available

  • dep: ocaml(Stdlib__String) (= 11ee86c6d03e0b37a2ef80541f3e00be)

    Package not available

  • dep: ocaml(Stdlib__Sys) (= aa921c44c52af557dede0ef5720a3515)

    Package not available

  • dep: ocaml(Stdlib__Uchar) (= cc650ed80ecb08760ed6479a6adeec7b)

    Package not available

  • dep: ocaml(Zip) (= e28cfee95af712fd1f0c66a38b17f013)

    Package not available

  • dep: ocaml-alt-ergo-lib(aarch-64) (= 2.3.3-28.fc43)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

Download ocaml-alt-ergo-parsers

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch64626 KiB1.3 MiBlist of filesDownload
x86_64630 KiB1.3 MiBlist of filesDownload

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/alt-ergo-parsers
  • /usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cma
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmi
  • /usr/lib64/ocaml/alt-ergo-parsers-free
  • /usr/lib64/ocaml/alt-ergo-parsers-free/dune-package
  • /usr/lib64/ocaml/alt-ergo-parsers-free/META
  • /usr/lib64/ocaml/alt-ergo-parsers-free/opam
  • /usr/lib64/ocaml/alt-ergo-parsers/META
  • /usr/lib/.build-id
  • /usr/lib/.build-id/50
  • /usr/lib/.build-id/50/0490536bef7bf552405c0c8b34d01d60d86eae
  • /usr/lib/.build-id/95
  • /usr/lib/.build-id/95/f4b80dacfb439e05f7c861f37ba524de54d46b

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

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 browserCrea un'immagine che include ocaml-alt-ergo-parsers

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.3.3-28.fc4343 / everythingaarch64Fedora 43 · Everything · aarch64626 KiB1.3 MiBPackages/o/ocaml-alt-ergo-parsers-2.3.3-28.fc43.aarch64.rpm
2.3.3-28.fc4343 / everythingx86_64Fedora 43 · Everything · x86_64630 KiB1.3 MiBPackages/o/ocaml-alt-ergo-parsers-2.3.3-28.fc43.x86_64.rpm

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

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.3.3-28.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: f43869fc05e9df206f407ab0328cf6b642bc35b15c077f1597ef2cf45b90d03e

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

printf '%s %s\n' 'f43869fc05e9df206f407ab0328cf6b642bc35b15c077f1597ef2cf45b90d03e' 'ocaml-alt-ergo-parsers-2.3.3-28.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

2.3.3-28.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: 6a9749dc2ff01aadda667adadeb065b866b0a9f43b29bb626e4ce237dc4f837b

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

printf '%s %s\n' '6a9749dc2ff01aadda667adadeb065b866b0a9f43b29bb626e4ce237dc4f837b' 'ocaml-alt-ergo-parsers-2.3.3-28.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

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