Linux workstation

Fedora 43 native package

coq-core

Core components of the coq proof management system

Packages / Fedora 43 / Unspecified / coq-core

[Source: coq]

Package: coq-core (8.20.1-5.fc43)

External Resources:

Homepage: [coq.inria.fr]

Similar packages:

Core components of the coq proof management system

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 includes the Coq core binaries, plugins, and tools, but not the vernacular standard library.

Other Packages Related to coq-core:

  • dep: /usr/bin/ocamlrun

    Package not available

  • dep: /usr/bin/python3

    Package not available

  • dep: coq(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(Asttypes) (= ee5ea19ab996e4503ae182f530861d78)

    Package not available

  • dep: ocaml(Big_int_Z) (= f7619514b131a39933cc9ce06f741304)

    Package not available

  • dep: ocaml(Build_path_prefix_map) (= 9a894c5ddec61ee9b5c415c0520a7367)

    Package not available

  • dep: ocaml(CamlinternalFormatBasics) (= aa550bdab521d60e769a9ad43a677e65)

    Package not available

  • dep: ocaml(CamlinternalLazy) (= e6f402abe3d0b60a19bf6c6c6c6f0848)

    Package not available

  • dep: ocaml(CamlinternalMod) (= 2841d459081b0d0dfe3bde24f9787af1)

    Package not available

  • dep: ocaml(Clflags) (= 78abf8ca062640e6b330fdd867adb0c9)

    Package not available

  • dep: ocaml(Cmi_format) (= 7dd5ccd3388dae280362ceeaf05faa7d)

    Package not available

  • dep: ocaml(Compenv) (= 588f85702b3c3b095753ccc743497a4e)

    Package not available

  • dep: ocaml(Dynlink) (= fecb619bede234b520106e08984c0058)

    Package not available

  • dep: ocaml(Env) (= 88d47d47c93f5f2195d9ead33a85245c)

    Package not available

  • dep: ocaml(Findlib) (= 779950132c996b22f5dabb442c2d2697)

    Package not available

  • dep: ocaml(Fl_dynload) (= 704bffc9e413fdcd8c2b33ca309ab751)

    Package not available

  • dep: ocaml(Fl_metascanner) (= 221658eff390f9f1cc0a7ae146a1b21b)

    Package not available

  • dep: ocaml(Fl_metatoken) (= 5d28caaf9557045bb47aa123fde24b3a)

    Package not available

  • dep: ocaml(Fl_package_base) (= b14e4dd56a32ed716c31ec0ae56f88a3)

    Package not available

  • dep: ocaml(Format_doc) (= 682b04da0a4bde85a14ff1b29e868f2c)

    Package not available

  • dep: ocaml(Ident) (= e6f67bd53b973b79d3a9064753332e5f)

    Package not available

  • dep: ocaml(Identifiable) (= b60b34f245694a37fc383f9cad5d1080)

    Package not available

  • dep: ocaml(Load_path) (= e16f7783ef426d2a59927a09ca01e718)

    Package not available

  • dep: ocaml(Location) (= 1415164723ab4315cfe92e93703f6951)

    Package not available

  • dep: ocaml(Longident) (= 7a4c66b4b7e709bf48b56a59b5e5419f)

    Package not available

  • dep: ocaml(Misc) (= 58535dc61c7c19378ef828f1c8e6b433)

    Package not available

  • dep: ocaml(Oprint) (= 601caeadf0f382086de2c51e9f300d88)

    Package not available

  • dep: ocaml(Outcometree) (= 96368510dda82e8528ad4b3082343049)

    Package not available

  • dep: ocaml(Parsetree) (= 165d0e6aab21e53c75235445422b44ad)

    Package not available

  • dep: ocaml(Path) (= d251296ef600129af862223ebfd13653)

    Package not available

  • dep: ocaml(Primitive) (= 46892b6dc5c1ed948d4818c2153c335c)

    Package not available

  • dep: ocaml(Profile) (= 366ea881d4ee61d32873cb5900f67cea)

    Package not available

  • dep: ocaml(Q) (= fded9f6db30753026b5c2d3012382e71)

    Package not available

  • dep: ocaml(Shape) (= a264079b71e3ddabef72cf9a10a6d8fd)

    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__Bigarray) (= 7130a1b8b3b987c6ffc6c2c613151f82)

    Package not available

  • dep: ocaml(Stdlib__Bool) (= cab73871efbfee7e905607d7c0866b20)

    Package not available

  • dep: ocaml(Stdlib__Buffer) (= bf6c18db9a96f4c2d97dddb7f07cdee4)

    Package not available

  • dep: ocaml(Stdlib__Bytes) (= ad0e607bc378f814f5d4913a8a7b8bc5)

    Package not available

  • dep: ocaml(Stdlib__Callback) (= e63ded0535f5b914a16b4f955e944303)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Complex) (= eea5b6e1b092aae36e0428633d5272d9)

    Package not available

  • dep: ocaml(Stdlib__Condition) (= 39fd8ee9f5adf538a9a140643627224d)

    Package not available

  • dep: ocaml(Stdlib__Digest) (= 79b5d577ed7cbf094b2a76c06479bd89)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Either) (= c90604673db95a8e7dbd131a219e37c5)

    Package not available

  • dep: ocaml(Stdlib__Ephemeron) (= 2c709fbfd59ad1519b2219df1c3a6d63)

    Package not available

  • dep: ocaml(Stdlib__Filename) (= f74cc059dcb93d696ed0ec81c946c31f)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Fun) (= cf215dbe3f6e56ca14fc22123b7eb171)

    Package not available

  • dep: ocaml(Stdlib__Gc) (= fbebf2afd3d1f8efe1dbf7a69fdc88ab)

    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__Lazy) (= 1d6be45458ac0f04df24caf4c6b0825f)

    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__Marshal) (= 3e4c0a9c59b0e4d62cbe6fac67d913a4)

    Package not available

  • dep: ocaml(Stdlib__Mutex) (= 7c985cf35f692ba380d9f84aef53e8d5)

    Package not available

  • dep: ocaml(Stdlib__Nativeint) (= 7b40cfad9e114c0baec17b5f3a644be3)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Printexc) (= a8ffdc3139410f2a727c983fc6b29d5e)

    Package not available

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

    Package not available

  • dep: ocaml(Stdlib__Queue) (= b8e767cc53f52dafa1719c723bf4b181)

    Package not available

  • dep: ocaml(Stdlib__Random) (= 2aa639764f27c99788afa2b2dbf2e75f)

    Package not available

  • dep: ocaml(Stdlib__Result) (= 6920dcf20eda193a914bab41ae83ca87)

    Package not available

  • dep: ocaml(Stdlib__Scanf) (= f1fb8faa0240204ffa3944fe78ada705)

    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(Stdlib__Weak) (= 1a371fbec831b5df00a44cc1e163c620)

    Package not available

  • dep: ocaml(Str) (= 1d8174cd9641eb96917de61a36ae468b)

    Package not available

  • dep: ocaml(Subst) (= fb87814233a33d4fe046e4335346bdf1)

    Package not available

  • dep: ocaml(Thread) (= c117adb5712f1019996c4af4fd6e18c2)

    Package not available

  • dep: ocaml(Toploop) (= 5a4075a43d43c9249ea9d990897816fe)

    Package not available

  • dep: ocaml(Type_immediacy) (= dc7b80ccb5d6ca17a41521a9ab8bcaf2)

    Package not available

  • dep: ocaml(Types) (= 9f587070481ecabde6452704dd03e48d)

    Package not available

  • dep: ocaml(Unit_info) (= c493604495f300140722d6c18c0abca6)

    Package not available

  • dep: ocaml(Unix) (= e9521192ee8ef808261c548f0ea7683f)

    Package not available

  • dep: ocaml(Warnings) (= 5b27d0ddf84c26b2b72d50c6ff180c8e)

    Package not available

  • dep: ocaml(Z) (= 55f40794517dfa18b2d04a9737864b3d)

    Package not available

  • dep: ocamlx(Big_int_Z) (= 3e20c57b8b5369d464abbd631c21152a)

    Package not available

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

    Package not available

  • dep: ocamlx(CamlinternalFormatBasics) (= 9a4b29f13d1e7f737f80587da2a10cdf)

    Package not available

  • dep: ocamlx(CamlinternalLazy) (= 0e6771bef2d6105214922b2a203a753d)

    Package not available

  • dep: ocamlx(CamlinternalMod) (= 112fb4863484ad75e3623a35e3f88e27)

    Package not available

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

    Package not available

  • dep: ocamlx(Dynlink) (= 8a6b9f8a80f44692bbf76198b96c688d)

    Package not available

  • dep: ocamlx(Dynlink_common) (= 1d027d07051cacff616ae5cd8abc5241)

    Package not available

  • dep: ocamlx(Dynlink_types) (= 01f53a6b28f941c4b8a9c1e2b501cd70)

    Package not available

  • dep: ocamlx(Q) (= 42672a16ff4413f557f78dcc1495afd4)

    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__Bool) (= 38e63a14216881e6f24da069169dd1b7)

    Package not available

  • dep: ocamlx(Stdlib__Buffer) (= dd72a76d3318107b6503acda17e85537)

    Package not available

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

    Package not available

  • dep: ocamlx(Stdlib__Callback) (= dde836f3aa5be93ac0009995797d62b6)

    Package not available

  • dep: ocamlx(Stdlib__Char) (= 7e312ea379ff37deb623b0b714d14d02)

    Package not available

  • dep: ocamlx(Stdlib__Condition) (= 9bf4f8d0906529356157285d1a369272)

    Package not available

  • dep: ocamlx(Stdlib__Digest) (= cfa8d86a71aec2837714d1265149f7c2)

    Package not available

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

    Package not available

  • dep: ocamlx(Stdlib__Ephemeron) (= 1b8cb7175d1e10d5c78b536da93155f5)

    Package not available

  • dep: ocamlx(Stdlib__Filename) (= c8e16eadca1a7a16134b508889cd21f5)

    Package not available

  • dep: ocamlx(Stdlib__Format) (= f822c9fc11de6b986a5e9169fdea8af4)

    Package not available

  • dep: ocamlx(Stdlib__Fun) (= e6cf01649ce0340388ef4e3df98d3316)

    Package not available

  • dep: ocamlx(Stdlib__Gc) (= 3929f6c060f5e787b0a7f63d7801d054)

    Package not available

  • dep: ocamlx(Stdlib__Hashtbl) (= d10c8d4c0b641ab242198048075a2b60)

    Package not available

  • dep: ocamlx(Stdlib__In_channel) (= ca568d78355d2aa1b1e84b1759bd9f20)

    Package not available

  • dep: ocamlx(Stdlib__Int32) (= dcc0a728aed8cb0339af70dbeb94bb5a)

    Package not available

  • dep: ocamlx(Stdlib__Int64) (= 0fde396f1e774db5fcb1c69336ff1eec)

    Package not available

  • dep: ocamlx(Stdlib__Lazy) (= f7521f54d72eb8cc6098c285411ea2ae)

    Package not available

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

    Package not available

  • dep: ocamlx(Stdlib__Map) (= 1d0cc843181f510c94c1b7ac7977ba84)

    Package not available

  • dep: ocamlx(Stdlib__Marshal) (= 8d1bff51b42959cef683bd89539808b5)

    Package not available

  • dep: ocamlx(Stdlib__Mutex) (= 7e2265cb883f7df10ef5b2ebc1837508)

    Package not available

  • dep: ocamlx(Stdlib__Obj) (= f5fa384356356398404dc14d79890346)

    Package not available

  • dep: ocamlx(Stdlib__Printexc) (= e39c8fabf36ce34d6a9bee8d04173ed5)

    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__Result) (= d0c2f0b9835669efdd3b5825c2e1931b)

    Package not available

  • dep: ocamlx(Stdlib__Scanf) (= daf5d42ccfbc2c6fbd3c0c25bdb35363)

    Package not available

  • dep: ocamlx(Stdlib__Seq) (= a03bd18f2a4ebbec084546a362646770)

    Package not available

  • dep: ocamlx(Stdlib__Set) (= 77ae290463cfe2698ffda9c3825c26af)

    Package not available

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

    Package not available

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

    Package not available

  • dep: ocamlx(Stdlib__Sys) (= c4d65bea52f4370d2e6a3825f559a12e)

    Package not available

  • dep: ocamlx(Stdlib__Weak) (= 265d98a04451b7ecb8f8a84027ef3a15)

    Package not available

  • dep: ocamlx(Str) (= 69b8694b1405b426d474615d56cdbfef)

    Package not available

  • dep: ocamlx(Thread) (= d6d875718fc603d6cc58c94ebabe217a)

    Package not available

  • dep: ocamlx(Unix) (= 487fd5f4c7de44679a36edc004940fcb)

    Package not available

  • dep: ocamlx(Z) (= 2a0fa63d580ee64db2d170f2c459a3ea)

    Package not available

  • dep: ocamlx(Zarith_version) (= 8ea948dbe5ef8b5b61b4053abc658c47)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

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

    Package not available

Download coq-core

ArchitecturePackage SizeInstalled SizeFiles
aarch64232 MiB702 MiB[list of files]
x86_64230 MiB714 MiB[list of files]

Package file paths (3,252)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

  • /usr/bin/coqc
  • /usr/bin/coqc.byte
  • /usr/bin/coqchk
  • /usr/bin/coqdep
  • /usr/bin/coqdoc
  • /usr/bin/coq_makefile
  • /usr/bin/coqnative
  • /usr/bin/coqpp
  • /usr/bin/coq-tex
  • /usr/bin/coqtimelog2html
  • /usr/bin/coqtop
  • /usr/bin/coqtop.byte
  • /usr/bin/coqwc
  • /usr/bin/coqworker.opt
  • /usr/bin/coqworkmgr
  • /usr/bin/csdpcert
  • /usr/bin/ocamllibdep
  • /usr/bin/votour
  • /usr/lib64/ocaml/coq-core
  • /usr/lib64/ocaml/coq-core/boot
  • /usr/lib64/ocaml/coq-core/boot/boot.a
  • /usr/lib64/ocaml/coq-core/boot/boot.cma
  • /usr/lib64/ocaml/coq-core/boot/boot.cmi
  • /usr/lib64/ocaml/coq-core/boot/boot.cmt
  • /usr/lib64/ocaml/coq-core/boot/boot.cmx
  • /usr/lib64/ocaml/coq-core/boot/boot.cmxa
  • /usr/lib64/ocaml/coq-core/boot/boot.cmxs
  • /usr/lib64/ocaml/coq-core/boot/boot__Env.cmi
  • /usr/lib64/ocaml/coq-core/boot/boot__Env.cmt
  • /usr/lib64/ocaml/coq-core/boot/boot__Env.cmti
  • /usr/lib64/ocaml/coq-core/boot/boot__Env.cmx
  • /usr/lib64/ocaml/coq-core/boot/boot.ml
  • /usr/lib64/ocaml/coq-core/boot/boot__Path.cmi
  • /usr/lib64/ocaml/coq-core/boot/boot__Path.cmt
  • /usr/lib64/ocaml/coq-core/boot/boot__Path.cmti
  • /usr/lib64/ocaml/coq-core/boot/boot__Path.cmx
  • /usr/lib64/ocaml/coq-core/boot/boot__Usage.cmi
  • /usr/lib64/ocaml/coq-core/boot/boot__Usage.cmt
  • /usr/lib64/ocaml/coq-core/boot/boot__Usage.cmti
  • /usr/lib64/ocaml/coq-core/boot/boot__Usage.cmx
  • /usr/lib64/ocaml/coq-core/boot/boot__Util.cmi
  • /usr/lib64/ocaml/coq-core/boot/boot__Util.cmt
  • /usr/lib64/ocaml/coq-core/boot/boot__Util.cmti
  • /usr/lib64/ocaml/coq-core/boot/boot__Util.cmx
  • /usr/lib64/ocaml/coq-core/boot/env.mli
  • /usr/lib64/ocaml/coq-core/boot/path.mli
  • /usr/lib64/ocaml/coq-core/boot/usage.mli
  • /usr/lib64/ocaml/coq-core/boot/util.mli
  • /usr/lib64/ocaml/coq-core/checklib
  • /usr/lib64/ocaml/coq-core/checklib/analyze.mli
  • /usr/lib64/ocaml/coq-core/checklib/checker.mli
  • /usr/lib64/ocaml/coq-core/checklib/checkFlags.mli
  • /usr/lib64/ocaml/coq-core/checklib/checkInductive.mli
  • /usr/lib64/ocaml/coq-core/checklib/check.mli
  • /usr/lib64/ocaml/coq-core/checklib/check_stat.mli
  • /usr/lib64/ocaml/coq-core/checklib/checkTypes.mli
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.a
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Analyze.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Analyze.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Analyze.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Analyze.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Checker.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Checker.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Checker.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Checker.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckFlags.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckFlags.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckFlags.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckFlags.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckInductive.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckInductive.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckInductive.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckInductive.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check_stat.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check_stat.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check_stat.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Check_stat.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckTypes.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckTypes.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckTypes.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__CheckTypes.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.cma
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.cmxa
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.cmxs
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib.ml
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Mod_checking.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Mod_checking.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Mod_checking.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Mod_checking.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Safe_checking.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Safe_checking.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Safe_checking.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Safe_checking.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Validate.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Validate.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Validate.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Validate.cmx
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Values.cmi
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Values.cmt
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Values.cmti
  • /usr/lib64/ocaml/coq-core/checklib/coq_checklib__Values.cmx
  • /usr/lib64/ocaml/coq-core/checklib/mod_checking.mli
  • /usr/lib64/ocaml/coq-core/checklib/safe_checking.mli
  • /usr/lib64/ocaml/coq-core/checklib/validate.mli
  • /usr/lib64/ocaml/coq-core/checklib/values.mli
  • /usr/lib64/ocaml/coq-core/clib
  • /usr/lib64/ocaml/coq-core/clib/cArray.cmi
  • /usr/lib64/ocaml/coq-core/clib/cArray.cmt
  • /usr/lib64/ocaml/coq-core/clib/cArray.cmti
  • /usr/lib64/ocaml/coq-core/clib/cArray.cmx
  • /usr/lib64/ocaml/coq-core/clib/cArray.mli
  • /usr/lib64/ocaml/coq-core/clib/cEphemeron.cmi
  • /usr/lib64/ocaml/coq-core/clib/cEphemeron.cmt
  • /usr/lib64/ocaml/coq-core/clib/cEphemeron.cmti
  • /usr/lib64/ocaml/coq-core/clib/cEphemeron.cmx
  • /usr/lib64/ocaml/coq-core/clib/cEphemeron.mli
  • /usr/lib64/ocaml/coq-core/clib/clib.a
  • /usr/lib64/ocaml/coq-core/clib/clib.cma
  • /usr/lib64/ocaml/coq-core/clib/clib.cmxa
  • /usr/lib64/ocaml/coq-core/clib/clib.cmxs
  • /usr/lib64/ocaml/coq-core/clib/cList.cmi
  • /usr/lib64/ocaml/coq-core/clib/cList.cmt
  • /usr/lib64/ocaml/coq-core/clib/cList.cmti
  • /usr/lib64/ocaml/coq-core/clib/cList.cmx
  • /usr/lib64/ocaml/coq-core/clib/cList.mli
  • /usr/lib64/ocaml/coq-core/clib/cMap.cmi
  • /usr/lib64/ocaml/coq-core/clib/cMap.cmt
  • /usr/lib64/ocaml/coq-core/clib/cMap.cmti
  • /usr/lib64/ocaml/coq-core/clib/cMap.cmx
  • /usr/lib64/ocaml/coq-core/clib/cMap.mli
  • /usr/lib64/ocaml/coq-core/clib/cObj.cmi
  • /usr/lib64/ocaml/coq-core/clib/cObj.cmt
  • /usr/lib64/ocaml/coq-core/clib/cObj.cmti
  • /usr/lib64/ocaml/coq-core/clib/cObj.cmx
  • /usr/lib64/ocaml/coq-core/clib/cObj.mli
  • /usr/lib64/ocaml/coq-core/clib/cSet.cmi
  • /usr/lib64/ocaml/coq-core/clib/cSet.cmt
  • /usr/lib64/ocaml/coq-core/clib/cSet.cmti
  • /usr/lib64/ocaml/coq-core/clib/cSet.cmx
  • /usr/lib64/ocaml/coq-core/clib/cSet.mli
  • /usr/lib64/ocaml/coq-core/clib/cSig.cmi
  • /usr/lib64/ocaml/coq-core/clib/cSig.cmti
  • /usr/lib64/ocaml/coq-core/clib/cSig.mli
  • /usr/lib64/ocaml/coq-core/clib/cString.cmi
  • /usr/lib64/ocaml/coq-core/clib/cString.cmt
  • /usr/lib64/ocaml/coq-core/clib/cString.cmti
  • /usr/lib64/ocaml/coq-core/clib/cString.cmx
  • /usr/lib64/ocaml/coq-core/clib/cString.mli
  • /usr/lib64/ocaml/coq-core/clib/cThread.cmi
  • /usr/lib64/ocaml/coq-core/clib/cThread.cmt
  • /usr/lib64/ocaml/coq-core/clib/cThread.cmti
  • /usr/lib64/ocaml/coq-core/clib/cThread.cmx
  • /usr/lib64/ocaml/coq-core/clib/cThread.mli
  • /usr/lib64/ocaml/coq-core/clib/cUnix.cmi
  • /usr/lib64/ocaml/coq-core/clib/cUnix.cmt
  • /usr/lib64/ocaml/coq-core/clib/cUnix.cmti
  • /usr/lib64/ocaml/coq-core/clib/cUnix.cmx
  • /usr/lib64/ocaml/coq-core/clib/cUnix.mli
  • /usr/lib64/ocaml/coq-core/clib/diff2.cmi
  • /usr/lib64/ocaml/coq-core/clib/diff2.cmt
  • /usr/lib64/ocaml/coq-core/clib/diff2.cmti
  • /usr/lib64/ocaml/coq-core/clib/diff2.cmx
  • /usr/lib64/ocaml/coq-core/clib/diff2.mli
  • /usr/lib64/ocaml/coq-core/clib/dyn.cmi
  • /usr/lib64/ocaml/coq-core/clib/dyn.cmt
  • /usr/lib64/ocaml/coq-core/clib/dyn.cmti
  • /usr/lib64/ocaml/coq-core/clib/dyn.cmx
  • /usr/lib64/ocaml/coq-core/clib/dyn.mli
  • /usr/lib64/ocaml/coq-core/clib/exninfo.cmi
  • /usr/lib64/ocaml/coq-core/clib/exninfo.cmt
  • /usr/lib64/ocaml/coq-core/clib/exninfo.cmti
  • /usr/lib64/ocaml/coq-core/clib/exninfo.cmx
  • /usr/lib64/ocaml/coq-core/clib/exninfo.mli
  • /usr/lib64/ocaml/coq-core/clib/hashcons.cmi
  • /usr/lib64/ocaml/coq-core/clib/hashcons.cmt
  • /usr/lib64/ocaml/coq-core/clib/hashcons.cmti
  • /usr/lib64/ocaml/coq-core/clib/hashcons.cmx
  • /usr/lib64/ocaml/coq-core/clib/hashcons.mli
  • /usr/lib64/ocaml/coq-core/clib/hashset.cmi
  • /usr/lib64/ocaml/coq-core/clib/hashset.cmt
  • /usr/lib64/ocaml/coq-core/clib/hashset.cmti
  • /usr/lib64/ocaml/coq-core/clib/hashset.cmx
  • /usr/lib64/ocaml/coq-core/clib/hashset.mli
  • /usr/lib64/ocaml/coq-core/clib/heap.cmi
  • /usr/lib64/ocaml/coq-core/clib/heap.cmt
  • /usr/lib64/ocaml/coq-core/clib/heap.cmti
  • /usr/lib64/ocaml/coq-core/clib/heap.cmx
  • /usr/lib64/ocaml/coq-core/clib/heap.mli
  • /usr/lib64/ocaml/coq-core/clib/hMap.cmi
  • /usr/lib64/ocaml/coq-core/clib/hMap.cmt
  • /usr/lib64/ocaml/coq-core/clib/hMap.cmti
  • /usr/lib64/ocaml/coq-core/clib/hMap.cmx
  • /usr/lib64/ocaml/coq-core/clib/hMap.mli
  • /usr/lib64/ocaml/coq-core/clib/int.cmi
  • /usr/lib64/ocaml/coq-core/clib/int.cmt
  • /usr/lib64/ocaml/coq-core/clib/int.cmti
  • /usr/lib64/ocaml/coq-core/clib/int.cmx
  • /usr/lib64/ocaml/coq-core/clib/int.mli
  • /usr/lib64/ocaml/coq-core/clib/iStream.cmi
  • /usr/lib64/ocaml/coq-core/clib/iStream.cmt
  • /usr/lib64/ocaml/coq-core/clib/iStream.cmti
  • /usr/lib64/ocaml/coq-core/clib/iStream.cmx
  • /usr/lib64/ocaml/coq-core/clib/iStream.mli
  • /usr/lib64/ocaml/coq-core/clib/memprof_coq.cmi
  • /usr/lib64/ocaml/coq-core/clib/memprof_coq.cmt
  • /usr/lib64/ocaml/coq-core/clib/memprof_coq.cmti
  • /usr/lib64/ocaml/coq-core/clib/memprof_coq.cmx
  • /usr/lib64/ocaml/coq-core/clib/memprof_coq.mli
  • /usr/lib64/ocaml/coq-core/clib/monad.cmi
  • /usr/lib64/ocaml/coq-core/clib/monad.cmt
  • /usr/lib64/ocaml/coq-core/clib/monad.cmti
  • /usr/lib64/ocaml/coq-core/clib/monad.cmx
  • /usr/lib64/ocaml/coq-core/clib/monad.mli
  • /usr/lib64/ocaml/coq-core/clib/mutex_aux.cmi
  • /usr/lib64/ocaml/coq-core/clib/mutex_aux.cmt
  • /usr/lib64/ocaml/coq-core/clib/mutex_aux.cmti
  • /usr/lib64/ocaml/coq-core/clib/mutex_aux.cmx
  • /usr/lib64/ocaml/coq-core/clib/mutex_aux.mli
  • /usr/lib64/ocaml/coq-core/clib/neList.cmi
  • /usr/lib64/ocaml/coq-core/clib/neList.cmt
  • /usr/lib64/ocaml/coq-core/clib/neList.cmti
  • /usr/lib64/ocaml/coq-core/clib/neList.cmx
  • /usr/lib64/ocaml/coq-core/clib/neList.mli
  • /usr/lib64/ocaml/coq-core/clib/option.cmi
  • /usr/lib64/ocaml/coq-core/clib/option.cmt
  • /usr/lib64/ocaml/coq-core/clib/option.cmti
  • /usr/lib64/ocaml/coq-core/clib/option.cmx
  • /usr/lib64/ocaml/coq-core/clib/option.mli
  • /usr/lib64/ocaml/coq-core/clib/orderedType.cmi
  • /usr/lib64/ocaml/coq-core/clib/orderedType.cmt
  • /usr/lib64/ocaml/coq-core/clib/orderedType.cmti
  • /usr/lib64/ocaml/coq-core/clib/orderedType.cmx
  • /usr/lib64/ocaml/coq-core/clib/orderedType.mli
  • /usr/lib64/ocaml/coq-core/clib/polyMap.cmi
  • /usr/lib64/ocaml/coq-core/clib/polyMap.cmt
  • /usr/lib64/ocaml/coq-core/clib/polyMap.cmti
  • /usr/lib64/ocaml/coq-core/clib/polyMap.cmx
  • /usr/lib64/ocaml/coq-core/clib/polyMap.mli
  • /usr/lib64/ocaml/coq-core/clib/predicate.cmi
  • /usr/lib64/ocaml/coq-core/clib/predicate.cmt
  • /usr/lib64/ocaml/coq-core/clib/predicate.cmti
  • /usr/lib64/ocaml/coq-core/clib/predicate.cmx
  • /usr/lib64/ocaml/coq-core/clib/predicate.mli

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

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try Fedora 43 in the browserBuild an image that includes coq-core

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
8.20.1-5.fc4343 / everythingaarch64Fedora 43 · Everything · aarch64232 MiB702 MiBPackages/c/coq-core-8.20.1-5.fc43.aarch64.rpm
8.20.1-5.fc4343 / everythingx86_64Fedora 43 · Everything · x86_64230 MiB714 MiBPackages/c/coq-core-8.20.1-5.fc43.x86_64.rpm

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

Checksums and observation dates

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: 06280dd4dbcda8abae765c6cdc8f9222a7bda7f5c41b5674f537fc3504b8c376

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

printf '%s %s\n' '06280dd4dbcda8abae765c6cdc8f9222a7bda7f5c41b5674f537fc3504b8c376' 'coq-core-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: 5292e968b6c04cbf0b32441ff7228d90575fcbc6f99384306f689230820c85da

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

printf '%s %s\n' '5292e968b6c04cbf0b32441ff7228d90575fcbc6f99384306f689230820c85da' 'coq-core-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

Catalog record completeness

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

Sources and provenance

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-core Package for Fedora 43 | OpenFactory