Packages / Fedora 44 / Unspecified / ocaml-why3

[Source: why3]

Package: ocaml-why3 (1.8.2-9.fc44)

Software verification library for ocaml

This package contains an ocaml library that exposes the functionality of why3 to applications.

Other Packages Related to ocaml-why3:

  • dep: ocaml(Apron) (= 2b0a7025281addc4a15a6ce0e2c6535d)

    Package not available

  • dep: ocaml(Big_int_Z) (= d6cb9e1c54060ad10e28f7ba86ae266a)

    Package not available

  • dep: ocaml(CamlinternalFormatBasics) (= bb23651112c1e05c61498d902472830d)

    Package not available

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

    Package not available

  • dep: ocaml(MenhirLib) (= edfe3f9d154a42e460bafb474952d69d)

    Package not available

  • dep: ocaml(MenhirLib__EngineTypes) (= ef100ca5ee003372d2e242505682aa0c)

    Package not available

  • dep: ocaml(MenhirLib__IncrementalEngine) (= 64d7a419c07e5a71a2ef4b7d62077be8)

    Package not available

  • dep: ocaml(MenhirLib__TableFormat) (= 07cf1f171da9697a9dab6a02cb8da815)

    Package not available

  • dep: ocaml(Mpf) (= dc149137067f364c4aad2b52b97f24be)

    Package not available

  • dep: ocaml(Mpfr) (= efd2227fc948656e2c27e361a56f8516)

    Package not available

  • dep: ocaml(Mpfrf) (= 323fd6c65b6c7a94dfc76abfed7af0d6)

    Package not available

  • dep: ocaml(Mpq) (= 0378e77352de30b75ef428a6a19205ec)

    Package not available

  • dep: ocaml(Mpqf) (= 484a6f9c5ea35f7f7eeb6973d9d4224f)

    Package not available

  • dep: ocaml(Mpz) (= 08af8b16104f19828b3d9968b85add88)

    Package not available

  • dep: ocaml(Mpzf) (= b9403a4dc58124a989417aa43f7c719f)

    Package not available

  • dep: ocaml(Parsexp) (= aa8dce1d61f6aa2950b078f2f81458a1)

    Package not available

  • dep: ocaml(Parsexp__) (= d1f9384670d78da48243e4278a551304)

    Package not available

  • dep: ocaml(Parsexp__Automaton_stack) (= 9cad9c345929c102746b941b2a375582)

    Package not available

  • dep: ocaml(Parsexp__Automaton_stack_intf) (= 5710963db1dbe3ae04f7d1cc24121698)

    Package not available

  • dep: ocaml(Parsexp__Automaton_state) (= ac11f55700c729243efab96f0fe242fe)

    Package not available

  • dep: ocaml(Parsexp__Automaton_state_intf) (= fa5b519788088b5cc9314bb6eb2112b2)

    Package not available

  • dep: ocaml(Parsexp__Conv) (= aa7292881ced5f3bc9e909fe06334d01)

    Package not available

  • dep: ocaml(Parsexp__Conv_error) (= 384ce0be8fcbb035f81b9e4c2661c73d)

    Package not available

  • dep: ocaml(Parsexp__Conv_intf) (= 6fdd47f56ca6ddf199f835701ef8eb4d)

    Package not available

  • dep: ocaml(Parsexp__Cst) (= 879191270ab4ae34090ae9e2269c9b20)

    Package not available

  • dep: ocaml(Parsexp__Import) (= b1a7adbc0c5c4e5d9813316876757665)

    Package not available

  • dep: ocaml(Parsexp__Of_sexp_error) (= 17ab0b02d29369b254514a3346886df0)

    Package not available

  • dep: ocaml(Parsexp__Old_parser_cont_state) (= da7a5876447db98631a8c76b2b734132)

    Package not available

  • dep: ocaml(Parsexp__Parse_error) (= 7964745a9a0af7d1dbf8167c330dfe28)

    Package not available

  • dep: ocaml(Parsexp__Parse_error_intf) (= 69b192ec58ab0a2e963007abc9b78069)

    Package not available

  • dep: ocaml(Parsexp__Parser) (= a4d725f55e596ad8f08fc91a2d751263)

    Package not available

  • dep: ocaml(Parsexp__Parser_intf) (= 294fd207669ffdf66781d9810f3406cf)

    Package not available

  • dep: ocaml(Parsexp__Parsexp_intf) (= fac45e88dc1bfcfeb0275765068bbde0)

    Package not available

  • dep: ocaml(Parsexp__Positions) (= b077fb6e7abc9cdb982206e0445edbdb)

    Package not available

  • dep: ocaml(Re) (= f2c6b0fd6a2e899aa6b689340180ee7c)

    Package not available

  • dep: ocaml(Re__) (= d8e492081c6601c7d8dad936ae9b33b9)

    Package not available

  • dep: ocaml(Re__Ast) (= ff89efec35ee225879cb51f5a827bd10)

    Package not available

  • dep: ocaml(Re__Automata) (= b5e585d415f0ed68fb2c3bc22528b80e)

    Package not available

  • dep: ocaml(Re__Category) (= c0c6e1d4d4edeb75a2244a1acdfd30eb)

    Package not available

  • dep: ocaml(Re__Color_map) (= eb9b3207cac76948af0f2809c8050614)

    Package not available

  • dep: ocaml(Re__Compile) (= 88a7f6f6f2220187062fb99acb77d139)

    Package not available

  • dep: ocaml(Re__Core) (= 15cc9e49f85b89e0bb29b3afdd9c5161)

    Package not available

  • dep: ocaml(Re__Cset) (= 05a27f3504a45768c4c483ec519aa255)

    Package not available

  • dep: ocaml(Re__Dyn) (= 72fd9df39d0be2345f837c3f9996c5c5)

    Package not available

  • dep: ocaml(Re__Fmt) (= 1837a12cd5bf111c5f272b6e2cf95912)

    Package not available

  • dep: ocaml(Re__Group) (= 8055cb282dad6d32db0bcbd2b03b6dcb)

    Package not available

  • dep: ocaml(Re__Mark_infos) (= c0e65b81ec29621edec0afb44efe9ef7)

    Package not available

  • dep: ocaml(Re__Pmark) (= 890a00b35377cbb496cb0e762ec1e728)

    Package not available

  • dep: ocaml(Re__Replace) (= 42e2bb29260ce5aeba587eea51e435e0)

    Package not available

  • dep: ocaml(Re__Str) (= 9464ca7c765d882efc859abeb6e0ebea)

    Package not available

  • dep: ocaml(Sexplib) (= a556d8c50b0eae746f972a1a1af19398)

    Package not available

  • dep: ocaml(Sexplib0) (= adcd213b403dcb39c94a81b997c69fa3)

    Package not available

  • dep: ocaml(Sexplib0__) (= 09ff10c16367712172bf4ac962013b3c)

    Package not available

  • dep: ocaml(Sexplib0__Sexp) (= 032a8e121165a504512d229826dc15d5)

    Package not available

  • dep: ocaml(Sexplib0__Sexp_conv) (= b698bbe846c3d8f62c94c70125ec48f5)

    Package not available

  • dep: ocaml(Sexplib0__Sexp_conv_error) (= bea82fa97881efeaa7bc198ff89d5fd5)

    Package not available

  • dep: ocaml(Sexplib0__Sexp_conv_grammar) (= cbbe68e20d2e6f47bceb094f767da721)

    Package not available

  • dep: ocaml(Sexplib0__Sexp_conv_record) (= 995c7a6c25faece0e0ebf602c0f85a4c)

    Package not available

  • dep: ocaml(Sexplib0__Sexp_grammar) (= a00d1c550e02c86da5badafcc9d478d4)

    Package not available

  • dep: ocaml(Sexplib0__Sexpable) (= d2bd6de28789d99e5bfc42ed67bc061d)

    Package not available

  • dep: ocaml(Sexplib__Conv) (= 76f87f6d31716f8d26ee550fc5f293f0)

    Package not available

  • dep: ocaml(Sexplib__Lexer) (= 85d1b9f4aa7e8abe17b57c500b807ef3)

    Package not available

  • dep: ocaml(Sexplib__Parser) (= 98f85b5c9f0a8ab102e5a0c15bb38161)

    Package not available

  • dep: ocaml(Sexplib__Parser_with_layout) (= eebb626c2a1d1491f67b574a2bbd5bd5)

    Package not available

  • dep: ocaml(Sexplib__Pre_sexp) (= f5ef9fbafc9d8881cbafe258598279c7)

    Package not available

  • dep: ocaml(Sexplib__Sexp) (= 244a82da59c0c3067c7fbf0338cbb591)

    Package not available

  • dep: ocaml(Sexplib__Sexp_intf) (= 92699abe76d96afae7568947b39ead81)

    Package not available

  • dep: ocaml(Sexplib__Src_pos) (= 2f983fc3870f36be55e38e185910ba2a)

    Package not available

  • dep: ocaml(Sexplib__Std) (= f7f9565f7d40845deb903e02700fcb73)

    Package not available

  • dep: ocaml(Sexplib__Type) (= 2fc88a57bcf0ba2a8fe4504c34b1ad7b)

    Package not available

  • dep: ocaml(Sexplib__Type_with_layout) (= 95e473887de228b3363c5aee63dbc8fc)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Arg) (= c45f9dbce830bdf7c07d08fc27cae4b2)

    Package not available

  • dep: ocaml(Stdlib__Bigarray) (= 53e1fb135dc2b52a9be495706f0fe941)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Bytes) (= 673437615face5d16342decc909aee70)

    Package not available

  • dep: ocaml(Stdlib__Complex) (= 10107702cfc5d64ad493797d02699351)

    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__Int64) (= 29e84e0d87545e4220cc5617eb2d20d5)

    Package not available

  • dep: ocaml(Stdlib__Lazy) (= d0b8d3be22a8b5bdfc9dda1877ae006f)

    Package not available

  • dep: ocaml(Stdlib__Lexing) (= 070822eb5537492e7ac0d885f1627b82)

    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__Mutex) (= be9647a85be946b28ceaaad8440df78c)

    Package not available

  • dep: ocaml(Stdlib__Nativeint) (= 3274bc361f120620f5df0ee8b898262b)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Printf) (= 689694603948509ee3d0b39b9ac66005)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Random) (= 56f5b48db4d9ef67c6b0228d4fe599b4)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Set) (= f1c0353417503cf69279f65dd7b31d22)

    Package not available

  • dep: ocaml(Stdlib__StdLabels) (= ed2ed272d35dbdb9450901b97302e8d2)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__StringLabels) (= c572f205152a9aa5a2aef655e2fd72bd)

    Package not available

  • dep: ocaml(Stdlib__Sys) (= 06196acdacded24c46c02b8acd00223a)

    Package not available

  • dep: ocaml(Stdlib__Uchar) (= f6a44dd0c2e2c80b44deed7eb3c121ef)

    Package not available

  • dep: ocaml(Unix) (= c1dc7711fef7c883b67ab33c46fd7030)

    Package not available

  • dep: ocaml(Z) (= b8f36df41ec3ad4dd65a34f697424998)

    Package not available

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

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

Download ocaml-why3

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch644.2 MiB15 MiBlist of filesDownload
x86_644.1 MiB15 MiBlist of filesDownload

Шляхи файлів пакета (12)

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/why3
  • /usr/lib64/ocaml/why3/META
  • /usr/lib64/ocaml/why3/why3.cmi
  • /usr/lib64/ocaml/why3/why3.cmxs
  • /usr/lib/.build-id
  • /usr/lib/.build-id/12
  • /usr/lib/.build-id/12/31733e4d91b4c5de12bbe2aec86fe917499b4c
  • /usr/lib/.build-id/3b
  • /usr/lib/.build-id/3b/af5898b770d121156a1ef5e70e2ccd56b114a2
  • /usr/lib/.build-id/c0/d21fd70c21c578e78abd8681b3723b9f6a636d
  • /usr/lib/.build-id/c1
  • /usr/lib/.build-id/c1/f317f208f6d746503c406c072af1caa182087b

Field source: Fedora 44 Everything aarch64

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 44 у браузеріЗібрати образ, що містить ocaml-why3

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
1.8.2-9.fc4444 / everythingaarch64Fedora 44 · Everything · aarch644.2 MiB15 MiBPackages/o/ocaml-why3-1.8.2-9.fc44.aarch64.rpm
1.8.2-9.fc4444 / everythingx86_64Fedora 44 · Everything · x86_644.1 MiB15 MiBPackages/o/ocaml-why3-1.8.2-9.fc44.x86_64.rpm
1.8.2-10.fc4444 / updatesaarch64Fedora 44 · updates · aarch644.2 MiB15 MiBPackages/o/ocaml-why3-1.8.2-10.fc44.aarch64.rpm
1.8.2-10.fc4444 / updatesx86_64Fedora 44 · updates · x86_644.1 MiB15 MiBPackages/o/ocaml-why3-1.8.2-10.fc44.x86_64.rpm

Field source: Fedora 44 Everything aarch64

Відомі вразливості

У відстежуваних джерелах немає відповідних повідомлень.

Остання синхронізація:

[Каталог CVE]

Контрольні суми

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

1.8.2-9.fc44 / aarch64Спостережено Sep 1, 2026sha256 8b79cf98c748…bfaeb6d6Контрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 8b79cf98c7480be10c4a044be65632fabf4a94cb27211246d2d20612bfaeb6d6

Перевірити завантаження

printf '%s %s\n' '8b79cf98c7480be10c4a044be65632fabf4a94cb27211246d2d20612bfaeb6d6' 'ocaml-why3-1.8.2-9.fc44.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything aarch64

1.8.2-9.fc44 / x86_64Спостережено Sep 1, 2026sha256 c80adf123c49…67ca9d25Контрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): c80adf123c49e4c927483a406b201cecd0d2398098f314567b6a4ff567ca9d25

Перевірити завантаження

printf '%s %s\n' 'c80adf123c49e4c927483a406b201cecd0d2398098f314567b6a4ff567ca9d25' 'ocaml-why3-1.8.2-9.fc44.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 Everything x86_64

1.8.2-10.fc44 / aarch64Спостережено Sep 1, 2026sha256 0a3367563597…0838ba9aКонтрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 0a3367563597294add26a4e8c253957e7513c353789e9a212c078fd80838ba9a

Перевірити завантаження

printf '%s %s\n' '0a3367563597294add26a4e8c253957e7513c353789e9a212c078fd80838ba9a' 'ocaml-why3-1.8.2-10.fc44.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates aarch64

1.8.2-10.fc44 / x86_64Спостережено Sep 1, 2026sha256 b162e4cf59c1…58c44448Контрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): b162e4cf59c1fc894ed893ec464f51111d499b8cbb3c60c4a43baa7858c44448

Перевірити завантаження

printf '%s %s\n' 'b162e4cf59c1fc894ed893ec464f51111d499b8cbb3c60c4a43baa7858c44448' 'ocaml-why3-1.8.2-10.fc44.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 44 updates x86_64

Джерела

  • Fedora 44 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

    Repository-signature verification record
    Signed-object SHA-256
    236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable
  • Fedora 44 Everything x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

    Repository-signature verification record
    Signed-object SHA-256
    1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable
  • Fedora 44 updates aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

    Repository-signature verification record
    Signed-object SHA-256
    2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable
  • Fedora 44 updates x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

    Repository-signature verification record
    Signed-object SHA-256
    a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable