Packages / Fedora 43 / Unspecified / flocq-source

[Source: flocq]

Package: flocq-source (4.2.1-5.fc43)

Source Coq files

This package contains the source Coq files for flocq. These files are not needed to use flocq. They are made available for informational purposes.

Other Packages Related to flocq-source:

  • dep: flocq(aarch-64) (= 4.2.1-5.fc43)

    Package not available

Download flocq-source

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch64272 KiB2.0 MiBlist of filesDownload
x86_64272 KiB2.0 MiBlist of filesDownload

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

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/coq/user-contrib/Flocq/Calc/Bracket.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Nat2Z_8_12.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.v
  • /usr/lib64/ocaml/coq/user-contrib/Flocq/Version.v

Field source: Fedora 43 Everything aarch64

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

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

Спробувати Fedora 43 у браузеріЗібрати образ, що містить flocq-source

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

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

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
4.2.1-5.fc4343 / everythingaarch64Fedora 43 · Everything · aarch64272 KiB2.0 MiBPackages/f/flocq-source-4.2.1-5.fc43.aarch64.rpm
4.2.1-5.fc4343 / everythingx86_64Fedora 43 · Everything · x86_64272 KiB2.0 MiBPackages/f/flocq-source-4.2.1-5.fc43.x86_64.rpm

Field source: Fedora 43 Everything aarch64

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

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

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

[Каталог CVE]

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

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

4.2.1-5.fc43 / aarch64Спостережено Sep 1, 2026sha256 bba6497e2008…efb6613cКонтрольна сума джерела

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

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

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

printf '%s %s\n' 'bba6497e2008c260b528a495b72029453ae8666b9dd6750f99b8ff0defb6613c' 'flocq-source-4.2.1-5.fc43.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything aarch64

4.2.1-5.fc43 / x86_64Спостережено Sep 1, 2026sha256 18d159aa60d8…76ac60e2Контрольна сума джерела

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

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

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

printf '%s %s\n' '18d159aa60d890e94b4b88b4ca5d9cbe1ca9f3a88b4a6db931e4d58d76ac60e2' 'flocq-source-4.2.1-5.fc43.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything x86_64

Джерела

  • Fedora 43 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

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

    43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

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

    Authoritative source; repository metadata signature verified

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

    43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

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