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

[Source: alt-ergo]

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

Development files for ocaml-alt-ergo-parsers

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 development files needed to build applications that use the Alt-Ergo parser library.

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

  • 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-devel(aarch-64) (= 2.3.3-28.fc43)

    Package not available

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

    Package not available

  • dep: ocaml-psmt2-frontend-devel(aarch-64)

    Package not available

  • dep: ocaml-zip-devel(aarch-64)

    Package not available

  • dep: ocamlx(Arith_flags) (= bfae0c4e30a6b59a732c7bb284cda079)

    Package not available

  • dep: ocamlx(Big_int) (= bc6c1a400e0bda6127f63fb0c7725c9a)

    Package not available

  • dep: ocamlx(CamlinternalFormat) (= 8dd3be4582e976f0a6f69a910d4a5efe)

    Package not available

  • dep: ocamlx(Int_misc) (= 81edfbd0285c6614bbe25cc578b08bde)

    Package not available

  • dep: ocamlx(Nat) (= 637bee9a82b287fcf82cfea49ed9117c)

    Package not available

  • dep: ocamlx(Num) (= 2170ffceeb40a77af43ffc2ddf88718c)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Options) (= 96d0e02e77cee0829a70ca6ddc29f33c)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Smtlib_error) (= ca70d420685fdbdd1f819f05ace38ad1)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Smtlib_lexer) (= c70ed85a1d6fb54355fcdc94630be47a)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Smtlib_parser) (= aa7d3285bf62b78f5a90bc1981342cf1)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Smtlib_ty) (= 06342bc3f0c64466f162c338df758911)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Smtlib_typed_env) (= d1fdcb54fd47d015b3ba7a70b5bb7244)

    Package not available

  • dep: ocamlx(Psmt2Frontend__Smtlib_typing) (= c4f641fd1b9fe025358c63a2d6c16b56)

    Package not available

  • dep: ocamlx(Ratio) (= 237c1b5851b44942616c828cfe0f1f68)

    Package not available

  • dep: ocamlx(Stdlib) (= 29ccdc189a615dabadac01b99d97fd28)

    Package not available

  • dep: ocamlx(Stdlib__Arg) (= 828fcd06f53ec832bcf77a32cba3374d)

    Package not available

  • dep: ocamlx(Stdlib__Array) (= 9dd825bf507d14e6dcb3e071ea71bffb)

    Package not available

  • dep: ocamlx(Stdlib__Bigarray) (= aaec89e94cb90a596f5303a3981ed34f)

    Package not available

  • dep: ocamlx(Stdlib__Buffer) (= dd72a76d3318107b6503acda17e85537)

    Package not available

  • dep: ocamlx(Stdlib__Bytes) (= 18ef580ddbffe6a1280e9aed4494c4d3)

    Package not available

  • dep: ocamlx(Stdlib__Domain) (= 497fd555d896adaf3be163fec31546c9)

    Package not available

  • dep: ocamlx(Stdlib__Filename) (= c8e16eadca1a7a16134b508889cd21f5)

    Package not available

  • dep: ocamlx(Stdlib__Format) (= f822c9fc11de6b986a5e9169fdea8af4)

    Package not available

  • dep: ocamlx(Stdlib__Hashtbl) (= d10c8d4c0b641ab242198048075a2b60)

    Package not available

  • dep: ocamlx(Stdlib__Lexing) (= 97927c9b4a6378af7864dcd2e6215a41)

    Package not available

  • dep: ocamlx(Stdlib__List) (= 3f29768f7527d3ab37c91af9aa0997df)

    Package not available

  • dep: ocamlx(Stdlib__Parsing) (= 536c9f422f7c5c3a8524fd41271eb838)

    Package not available

  • dep: ocamlx(Stdlib__Printf) (= 02eeb55af45bc28bbfbc703d255ac2b0)

    Package not available

  • dep: ocamlx(Stdlib__Random) (= be0ccad184326d574715215885193685)

    Package not available

  • dep: ocamlx(Stdlib__String) (= 9e26947ec23b93ed6e936b8a407df85b)

    Package not available

  • dep: ocamlx(Stdlib__Sys) (= c4d65bea52f4370d2e6a3825f559a12e)

    Package not available

  • dep: ocamlx(Zip) (= 32863cd715de16463a71a25dae411b65)

    Package not available

Download ocaml-alt-ergo-parsers-devel

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch642.0 MiB2.8 MiBlist of filesDownload
x86_642.0 MiB3.0 MiBlist of filesDownload

Paketdateipfade (28)

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/AltErgoParsers.a
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmt
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmti
  • /usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmx
  • /usr/lib64/ocaml/alt-ergo-parsers/dune-package
  • /usr/lib64/ocaml/alt-ergo-parsers/myZip.mli
  • /usr/lib64/ocaml/alt-ergo-parsers/opam
  • /usr/lib64/ocaml/alt-ergo-parsers/parsers_loader.mli
  • /usr/lib64/ocaml/alt-ergo-parsers/parsers.mli
  • /usr/lib64/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli
  • /usr/lib64/ocaml/alt-ergo-parsers/why_parser.mli

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

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 ocaml-alt-ergo-parsers-devel 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
2.3.3-28.fc4343 / everythingaarch64Fedora 43 · Everything · aarch642.0 MiB2.8 MiBPackages/o/ocaml-alt-ergo-parsers-devel-2.3.3-28.fc43.aarch64.rpm
2.3.3-28.fc4343 / everythingx86_64Fedora 43 · Everything · x86_642.0 MiB3.0 MiBPackages/o/ocaml-alt-ergo-parsers-devel-2.3.3-28.fc43.x86_64.rpm

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

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.

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: 34601c2e89481f0d7017192785bc3e7a74bf53bb873702c110c3dfbba93940ef

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

printf '%s %s\n' '34601c2e89481f0d7017192785bc3e7a74bf53bb873702c110c3dfbba93940ef' 'ocaml-alt-ergo-parsers-devel-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: 29b2d359e95d8962a194af8ad95dca21c0c676764451084113336002e5e6b668

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

printf '%s %s\n' '29b2d359e95d8962a194af8ad95dca21c0c676764451084113336002e5e6b668' 'ocaml-alt-ergo-parsers-devel-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

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