معرفی شرکت ها

coq-coqide-server-8.17.1-1.fc38.aarch64.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 aarch64
نام بسته coq-coqide-server
نام فایل بسته coq-coqide-server-8.17.1-1.fc38.aarch64.rpm
نسخه بسته 8.17.1
انتشار بسته 1.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 18 Oct 2023 06
هاست سازنده buildvm-a64-24.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 22M
حجم نصب 65.796M
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.16.1-3.fc38.x86_64.rpm 8.16.1 x86_64 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.17.1-1.fc38 coq-core(aarch-64)
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.28)(64bit)
- libc.so.6(GLIBC_2.32)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.17)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libm.so.6(GLIBC_2.35)(64bit)
= 3bf67d1381824155797389de8a32d728 ocaml(CArray)
= 963264b024cbb32e5211e7abb601d1fc ocaml(CList)
= b5f62fbd6f9416f40b63b0dac2bac8a8 ocaml(CMap)
= 10548a97a94e3c63dea0f824f53da608 ocaml(CSet)
= 93d511bb9f97d6117a9dba3706ab0743 ocaml(CSig)
= 185a019f870874a8ff87e047f1d56006 ocaml(CString)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= aea913efb75d4b8c0600eeba0222f7d8 ocaml(CamlinternalOO)
= 1108fbdf2827b6d2494e3e4bca2b55f0 ocaml(Exninfo)
= b430e30282f28df06f85bc6c5a2d4f3e ocaml(Feedback)
= 04171b8e413a80692dcbea1031ff4542 ocaml(Hashcons)
= b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hashset)
= fa5e26c2b2e604a5257572445b61e870 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)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 82442e4e897c61e9ffd5234974e104ef ocaml(Util)
= e419aae791e14a9e40ee634429531000 ocaml(Xml_datatype)
= 72d73bb411d5a1afbf240bf7446e7411 ocaml(Xml_lexer)
= d6f68614d3b68150f821cdea833e4a11 ocaml(Xml_printer)
= ae24fb792094005682af4d83cd3e3a5e ocamlx(CList)
= bb0679407165dab9dc28c93b6a4bfe5a ocamlx(CString)
= 1bdd8a1f15e1c6ed06c7e29bea5bb5c3 ocamlx(CamlinternalOO)
= cce74d96bc6d031a65a5e0de91168728 ocamlx(Exninfo)
= da5c60aea5eb2601f809baa02357b1de ocamlx(Loc)
= 027e5e1bfabd879c0bafd13804c95ae3 ocamlx(Option)
= f856573c5dbd6b3be2ff2435e2e9ad5a ocamlx(Pp)
= eff308a409ff3bec21e79d971dbbca70 ocamlx(Richpp)
= 67d25143ce259cea7a5d54bc27f842f3 ocamlx(Serialize)
= 2b7be9278707aca66876a9472e505937 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)
= 37df21a9868bb8ca8afde41e83efc1c5 ocamlx(Util)
= 64aa0790265175767342babed85f08d2 ocamlx(Xml_lexer)
= 53eb4a0d9714f19cb12a7c9a4f04e593 ocamlx(Xml_printer)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 8.17.1-1.fc38 coq-coqide-server
= 8.17.1-1.fc38 coq-coqide-server(aarch-64)
= acd590bd055fab3917e4cd0e5ac1c790 ocaml(Document)
= fa5e26c2b2e604a5257572445b61e870 ocaml(Interface)
= 1bcebc1f984a3fc84cb0aea868ac1863 ocaml(Richpp)
= 0675dc175d584c8b04f8d8ba2ee291e1 ocaml(Serialize)
= 72d73bb411d5a1afbf240bf7446e7411 ocaml(Xml_lexer)
= d714cd01b8a9681466eb32ebdb371c0d ocaml(Xml_parser)
= d6f68614d3b68150f821cdea833e4a11 ocaml(Xml_printer)
= 34a536be156f60b4aeff534d34555a2d ocaml(Xmlprotocol)
= b3647c12fdbc759b5e924ba5380067e4 ocamlx(Document)
= 665afc0ec541ea998a829213a8567f19 ocamlx(Interface)
= eff308a409ff3bec21e79d971dbbca70 ocamlx(Richpp)
= 67d25143ce259cea7a5d54bc27f842f3 ocamlx(Serialize)
= 64aa0790265175767342babed85f08d2 ocamlx(Xml_lexer)
= 205caaf0f516d30e2ddd71009a5bffed ocamlx(Xml_parser)
= 53eb4a0d9714f19cb12a7c9a4f04e593 ocamlx(Xml_printer)
= 1c7e3cfe57c9a42c082ecd11a272191e ocamlx(Xmlprotocol)


نحوه نصب


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

    dnf install coq-coqide-server-8.17.1-1.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/31
/usr/lib/.build-id/31/2593541935a53a90861c439828ae945a13ce7e
/usr/lib/.build-id/60
/usr/lib/.build-id/60/e7296ef6774b776edcdc5da8635db094fe588b
/usr/lib/.build-id/78
/usr/lib/.build-id/78/35414415b8d8aeab0e527a77c6142fd773e40a
/usr/lib/.build-id/78/35414415b8d8aeab0e527a77c6142fd773e40a.1
/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.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.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
... and 14 more


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

تاریخ آخرین تغییر جزئیات
2023-10-18

Version 8.17.1
Build in release mode

2023-04-01

Version 8.17.0
Drop upstreamed patch for Sphinx 5 support

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