Linux workstation

Fedora 43 native package

coq-coqide-server

The coqidetop language server

Packages / Fedora 43 / Unspecified / coq-coqide-server

[Source: coq]

Package: coq-coqide-server (8.20.1-5.fc43)

External Resources:

Homepage: [coq.inria.fr]

Similar packages:

  • [coq]

    Proof management system

  • [coq-coqide]

    Coqide IDE for Coq proof management system

  • [coq-core]

    Core components of the coq proof management system

The coqidetop language server

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides the coqidetop language server, an implementation of Coq's XML protocol which allows clients, such as CoqIDE, to interact with Coq in a structured way.

Other Packages Related to coq-coqide-server:

  • dep: /usr/bin/ocamlrun

    Package not available

  • dep: coq-core(aarch-64) (= 8.20.1-5.fc43)

    Package not available

  • dep: ld-linux-aarch64.so.1()(64bit)

    Package not available

  • dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)

    Package not available

  • dep: libgmp.so.10()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.17)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.29)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.35)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.38)(64bit)

    Package not available

  • dep: ocaml(CArray) (= 2b3f0747db4140072c56151436261450)

    Package not available

  • dep: ocaml(CList) (= 55cad0014108a39cbd28c288aa4cc464)

    Package not available

  • dep: ocaml(CMap) (= 8d2506e7f7f0d60de33fdc52ad81e44b)

    Package not available

  • dep: ocaml(CSet) (= 2b84f6a8ece3454a2f626c767ccd1c20)

    Package not available

  • dep: ocaml(CSig) (= 6c662b9815c90a29259fc2010b7403af)

    Package not available

  • dep: ocaml(CString) (= 37ce66f57020248d544e0bff9ae5d546)

    Package not available

  • dep: ocaml(CamlinternalFormatBasics) (= aa550bdab521d60e769a9ad43a677e65)

    Package not available

  • dep: ocaml(CamlinternalOO) (= 7104364f38cf3c63ed2f3069b6f44253)

    Package not available

  • dep: ocaml(Exninfo) (= 01626d04f3a0bbd3e52374308a28ee7f)

    Package not available

  • dep: ocaml(Feedback) (= fe0fd5a742f4cb0437336e5135dd2ef9)

    Package not available

  • dep: ocaml(Hashcons) (= c0f32ac191ef63cfd7b6277561b4c7e6)

    Package not available

  • dep: ocaml(Hashset) (= fdfee9d55cd6d12cfc4c4d99a20ccd26)

    Package not available

  • dep: ocaml(Loc) (= 4182b80fe772365dc58a5e141bf3c080)

    Package not available

  • dep: ocaml(Option) (= 17c4a65573d840de020bd9d09e3b0883)

    Package not available

  • dep: ocaml(Pp) (= cb19ac72d9188bf01d0db95fb01a4506)

    Package not available

  • dep: ocaml(Predicate) (= 7f40f26b4b4821ae99ca34e9081ca78a)

    Package not available

  • dep: ocaml(Stateid) (= ba0968224fb219ba0050f8bffbff07ed)

    Package not available

  • dep: ocaml(Stdlib) (= cfc6abca663b2d71db1750a2c051cf6e)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Buffer) (= bf6c18db9a96f4c2d97dddb7f07cdee4)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Either) (= c90604673db95a8e7dbd131a219e37c5)

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

    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__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__Uchar) (= cc650ed80ecb08760ed6479a6adeec7b)

    Package not available

  • dep: ocaml(Util) (= 22d3a326d01eb58fdc66125ae40c7749)

    Package not available

  • dep: ocaml(Xml_datatype) (= 2f6ecdd8682d4492a1198fb547390452)

    Package not available

  • dep: ocamlx(CArray) (= 7d8e4ef316eae72bcc9297a73b92c82f)

    Package not available

  • dep: ocamlx(CList) (= 59d019f56e37ec69af24cb930506e983)

    Package not available

  • dep: ocamlx(CString) (= a943281a56ba505de271c7242942fab9)

    Package not available

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

    Package not available

  • dep: ocamlx(CamlinternalOO) (= 3531e65d99268c316e24f5559d523cc5)

    Package not available

  • dep: ocamlx(Exninfo) (= 08048864d02dd6da7c3a67625f168526)

    Package not available

  • dep: ocamlx(Option) (= c17802ac5d06b169639521f1f2e7e67f)

    Package not available

  • dep: ocamlx(Pp) (= 26abd2fd150f93bd6f8722eda1d357b3)

    Package not available

  • dep: ocamlx(Stateid) (= 2654a0b11ef7c88e12fac40885163cc0)

    Package not available

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

    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__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__Map) (= 1d0cc843181f510c94c1b7ac7977ba84)

    Package not available

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

    Package not available

  • dep: ocamlx(Stdlib__Queue) (= 11a7954fa99189d2459f223f4125e18c)

    Package not available

  • dep: ocamlx(Stdlib__Random) (= be0ccad184326d574715215885193685)

    Package not available

  • dep: ocamlx(Stdlib__Stack) (= 4610e2b6df278052a237b1c2bc885a76)

    Package not available

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

    Package not available

  • dep: ocamlx(Util) (= 327080a40536f27fdff972ca5c6f5317)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

  • dep: libc.so.6(GLIBC_2.42)(64bit)

    Package not available

Download coq-coqide-server

ArchitecturePackage SizeInstalled SizeFiles
aarch6427 MiB86 MiB[list of files]
x86_6427 MiB88 MiB[list of files]

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

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/bin/coqidetop.byte
  • /usr/bin/coqidetop.opt
  • /usr/lib64/ocaml/coqide-server
  • /usr/lib64/ocaml/coqide-server/core
  • /usr/lib64/ocaml/coqide-server/core/core.a
  • /usr/lib64/ocaml/coqide-server/core/core.cma
  • /usr/lib64/ocaml/coqide-server/core/core.cmxa
  • /usr/lib64/ocaml/coqide-server/core/core.cmxs
  • /usr/lib64/ocaml/coqide-server/core/document.cmi
  • /usr/lib64/ocaml/coqide-server/core/document.cmt
  • /usr/lib64/ocaml/coqide-server/core/document.cmti
  • /usr/lib64/ocaml/coqide-server/core/document.cmx
  • /usr/lib64/ocaml/coqide-server/core/document.mli
  • /usr/lib64/ocaml/coqide-server/dune-package
  • /usr/lib64/ocaml/coqide-server/META
  • /usr/lib64/ocaml/coqide-server/opam
  • /usr/lib64/ocaml/coqide-server/protocol
  • /usr/lib64/ocaml/coqide-server/protocol/interface.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/interface.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/interface.mli
  • /usr/lib64/ocaml/coqide-server/protocol/protocol.a
  • /usr/lib64/ocaml/coqide-server/protocol/protocol.cma
  • /usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa
  • /usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs
  • /usr/lib64/ocaml/coqide-server/protocol/richpp.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/richpp.cmt
  • /usr/lib64/ocaml/coqide-server/protocol/richpp.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/richpp.cmx
  • /usr/lib64/ocaml/coqide-server/protocol/richpp.mli
  • /usr/lib64/ocaml/coqide-server/protocol/serialize.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/serialize.cmt
  • /usr/lib64/ocaml/coqide-server/protocol/serialize.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/serialize.cmx
  • /usr/lib64/ocaml/coqide-server/protocol/serialize.mli
  • /usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmt
  • /usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmx
  • /usr/lib64/ocaml/coqide-server/protocol/xml_lexer.mli
  • /usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmt
  • /usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmx
  • /usr/lib64/ocaml/coqide-server/protocol/xml_parser.mli
  • /usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmt
  • /usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmx
  • /usr/lib64/ocaml/coqide-server/protocol/xml_printer.mli
  • /usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi
  • /usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmt
  • /usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmti
  • /usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmx
  • /usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli
  • /usr/lib/.build-id
  • /usr/lib/.build-id/52
  • /usr/lib/.build-id/52/191acc958a8a5822850d3f2e4b9c126be13dc2
  • /usr/lib/.build-id/54
  • /usr/lib/.build-id/54/9cf330c33674b7392d93ffadaf76bbbef97702
  • /usr/lib/.build-id/71
  • /usr/lib/.build-id/71/9fd2a83dfcae061fff99b3f7b2e7d8a9fe737f
  • /usr/lib/.build-id/97
  • /usr/lib/.build-id/97/737c7e59e931667fe48c8987cc204e1787f91f
  • /usr/lib/.build-id/c3
  • /usr/lib/.build-id/c3/3ba9366b5a2679e2b868e8df7884903b14a1ee
  • /usr/lib/.build-id/f1/2754cf6506732a3a6de4b9e88235de05dca0a8

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

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

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

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

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

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

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
8.20.1-5.fc4343 / everythingaarch64Fedora 43 · Everything · aarch6427 MiB86 MiBPackages/c/coq-coqide-server-8.20.1-5.fc43.aarch64.rpm
8.20.1-5.fc4343 / everythingx86_64Fedora 43 · Everything · x86_6427 MiB88 MiBPackages/c/coq-coqide-server-8.20.1-5.fc43.x86_64.rpm

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

Контрольні суми й дати спостереження

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.

8.20.1-5.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: 08ddc04d896e7e4f50c33c10f72bf880d4b2cb2fdb8a5ad09770a68374a94397

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

printf '%s %s\n' '08ddc04d896e7e4f50c33c10f72bf880d4b2cb2fdb8a5ad09770a68374a94397' 'coq-coqide-server-8.20.1-5.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

8.20.1-5.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: fea63fbaf0e6b3b634368edcc277f75726ea2aa060ceadb4b532870301b13a13

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

printf '%s %s\n' 'fea63fbaf0e6b3b634368edcc277f75726ea2aa060ceadb4b532870301b13a13' 'coq-coqide-server-8.20.1-5.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

Повнота запису каталогу

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 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Джерела та походження

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

coq-coqide-server Package for Fedora 43 | OpenFactory