معرفی شرکت ها

coq-coqide-server-8.16.1-3.fc38.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

The coqidetop language server
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته coq-coqide-server
نام فایل بسته coq-coqide-server-8.16.1-3.fc38.x86_64.rpm
نسخه بسته 8.16.1
انتشار بسته 3.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 07
هاست سازنده buildhw-x86-09.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 21M
حجم نصب 62.209M
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.


جایگزین ها

بسته نسخه معماری مخزن
coq-coqide-server-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-server-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-server-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.16.1-3.fc38.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.17.1-1.fc38.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.17.1-1.fc38.x86_64.rpm 8.17.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/ocamlrun
= 8.16.1-3.fc38 coq-core(x86-64)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.10)(64bit)
- libc.so.6(GLIBC_2.11)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.15)(64bit)
- libc.so.6(GLIBC_2.16)(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.28)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.2)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libc.so.6(GLIBC_2.9)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libm.so.6(GLIBC_2.35)(64bit)
= 3bf67d1381824155797389de8a32d728 ocaml(CArray)
= a742212da585b925999bb1e9c57f8886 ocaml(CList)
= cbcf10800400dde7f75cbc0cc6a0a739 ocaml(CMap)
= 10548a97a94e3c63dea0f824f53da608 ocaml(CSet)
= 93d511bb9f97d6117a9dba3706ab0743 ocaml(CSig)
= f53fe8692b6d16ecf125c5433c67ee1d ocaml(CString)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= aea913efb75d4b8c0600eeba0222f7d8 ocaml(CamlinternalOO)
= 766d613c58c5e25783f49ff1e5b36922 ocaml(Exninfo)
= b430e30282f28df06f85bc6c5a2d4f3e ocaml(Feedback)
= 04171b8e413a80692dcbea1031ff4542 ocaml(Hashcons)
= b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hashset)
= b2c1692836b15aab87ca826474284875 ocaml(Interface)
= de5fd01aaa49ae97f2332d9b30807adc ocaml(Loc)
= 7b9ac55e8491af63e4054f2b26a988dd ocaml(Option)
= b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Pp)
= e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Predicate)
= 1bcebc1f984a3fc84cb0aea868ac1863 ocaml(Richpp)
= 0675dc175d584c8b04f8d8ba2ee291e1 ocaml(Serialize)
= 2716c53d22d49b3691aabd4d9372d505 ocaml(Stateid)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Printf)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__Stack)
= 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__Stream)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 46a1f0249bfbf29202e10de25200d4ea ocaml(Util)
= e419aae791e14a9e40ee634429531000 ocaml(Xml_datatype)
= 72d73bb411d5a1afbf240bf7446e7411 ocaml(Xml_lexer)
= d6f68614d3b68150f821cdea833e4a11 ocaml(Xml_printer)
= 60f71f67a51e93007083f2dec76aef17 ocamlx(CList)
= 8ec3d7e1080b998558714b40453f4be7 ocamlx(CString)
= 1bdd8a1f15e1c6ed06c7e29bea5bb5c3 ocamlx(CamlinternalOO)
= a3073e2f4c98838abc11a00c37e29271 ocamlx(Exninfo)
= 632b023d30c7af7d96fbc4c82226adce ocamlx(Loc)
= 027e5e1bfabd879c0bafd13804c95ae3 ocamlx(Option)
= 212c7ff65a2927459e46698b0cf42a81 ocamlx(Pp)
= 966a787579007abdc1ff466327610304 ocamlx(Richpp)
= c635806c19055a798ca045b55e3d1dcf ocamlx(Serialize)
= a5bcccd428ab47b644b9f479b8c46470 ocamlx(Stateid)
= 29fc6b4fd90dc91235156e20d0575996 ocamlx(Stdlib)
= 673e1a9feee4c24aeb62fe0f3e3ec4ad ocamlx(Stdlib__Buffer)
= 983da56657d4a84e1921601ebd2ba5fd ocamlx(Stdlib__Format)
= c60c5e9b84ec15b69584c299944d0abb ocamlx(Stdlib__Hashtbl)
= 4ba20253768aee73219c565dee7243bd ocamlx(Stdlib__Lexing)
= 75bce4c751643e407b6e75caf60b9db7 ocamlx(Stdlib__List)
= 5637860688f82d7f837407cfaf0a6fae ocamlx(Stdlib__Printf)
= 6e4c13fcfc9d23fccc45c9e0ea742960 ocamlx(Stdlib__Stack)
= 16f00be18fe41d5b5f3bc6b9bf6629df ocamlx(Stdlib__String)
= 032bbdc002e48ac17825b9af50e929a5 ocamlx(Util)
= 64aa0790265175767342babed85f08d2 ocamlx(Xml_lexer)
= 53eb4a0d9714f19cb12a7c9a4f04e593 ocamlx(Xml_printer)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 8.16.1-3.fc38 coq-coqide-server
= 8.16.1-3.fc38 coq-coqide-server(x86-64)
= a5be04309c1738733e85663eb497fceb ocaml(Document)
= b2c1692836b15aab87ca826474284875 ocaml(Interface)
= 1bcebc1f984a3fc84cb0aea868ac1863 ocaml(Richpp)
= 0675dc175d584c8b04f8d8ba2ee291e1 ocaml(Serialize)
= 72d73bb411d5a1afbf240bf7446e7411 ocaml(Xml_lexer)
= e265e2c1b0714dac5cdd384f1856d645 ocaml(Xml_parser)
= d6f68614d3b68150f821cdea833e4a11 ocaml(Xml_printer)
= 34a536be156f60b4aeff534d34555a2d ocaml(Xmlprotocol)
= a0f30ccc656671724d84f568cf13fbf4 ocamlx(Document)
= a02519b379547bafeed7d24cb56bc980 ocamlx(Interface)
= 966a787579007abdc1ff466327610304 ocamlx(Richpp)
= c635806c19055a798ca045b55e3d1dcf ocamlx(Serialize)
= 64aa0790265175767342babed85f08d2 ocamlx(Xml_lexer)
= 848c7b4ba8c7dda814fadd461dfef48f ocamlx(Xml_parser)
= 53eb4a0d9714f19cb12a7c9a4f04e593 ocamlx(Xml_printer)
= 9c96af4edfef4271ee37e945db484a25 ocamlx(Xmlprotocol)


نحوه نصب


نصب پکیج rpm coq-coqide-server:

    dnf install coq-coqide-server-8.16.1-3.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/03/a6097d889bce19e18404ef03d32894cdfa979c
/usr/lib/.build-id/55/d8a3b8d7dc054f2ea5cc9bbfa7d4c30ef66bc1
/usr/lib/.build-id/55/d8a3b8d7dc054f2ea5cc9bbfa7d4c30ef66bc1.1
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/a3d7c712ce2d4aa2cc59e06cc94633998683ae
/usr/lib64/ocaml/coqide-server
/usr/lib64/ocaml/coqide-server/META
/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.ml
/usr/lib64/ocaml/coqide-server/core/document.mli
/usr/lib64/ocaml/coqide-server/dune-package
/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.cmt
/usr/lib64/ocaml/coqide-server/protocol/interface.cmx
/usr/lib64/ocaml/coqide-server/protocol/interface.ml
/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.ml
/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.ml
/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.ml
... and 19 more


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-11-26

Version 8.16.1

2022-10-06

Remove the manual, which has a non-free license (bz 2132567)

2022-09-16

Version 8.16.0
Drop upstreamed patch for Sphinx 4.5 support

2022-08-15

Convert License tags to SPDX

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-19

Enable documentation build with Sphinx 5+

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-20

Rebuild for antlr4-project 4.10.1

2022-06-19

Upgrade to 8.15.2
OCaml 4.14.0 rebuild

2022-03-25

Version 8.15.1

2022-02-28

Version 8.15.0

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-12-27

Rebuild for ocaml-lablgtk3 3.1.2