معرفی شرکت ها

coq-coqide-server-8.16.0-1.fc37.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

The coqidetop language server
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything x86_64
نام بسته coq-coqide-server
نام فایل بسته coq-coqide-server-8.16.0-1.fc37.x86_64.rpm
نسخه بسته 8.16.0
انتشار بسته 1.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat 17 Sep 2022 02
هاست سازنده buildhw-x86-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 21M
حجم نصب 62.182M
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.0-1.fc37.aarch64.rpm 8.16.0 aarch64 Fedora Everything
coq-coqide-server-8.16.1-1.fc37.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-server-8.16.1-1.fc37.x86_64.rpm 8.16.1 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.16.0-1.fc37.aarch64.rpm 8.16.0 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.16.0-1.fc37.x86_64.rpm 8.16.0 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.16.1-1.fc37.aarch64.rpm 8.16.1 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.16.1-1.fc37.x86_64.rpm 8.16.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/ocamlrun
= 8.16.0-1.fc37 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)
= 6d7bf11af14ea68354925f3a37387930 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)
= 8d59eb9210256be316adc1aa298f7fd3 ocamlx(CList)
= 2c83e6da57716e19b8ed3547c7af15ed ocamlx(CString)
= 058cc49b692a2dd69add77baeb7dfd6d ocamlx(CamlinternalOO)
= cf89b09c6ac1379986d9b016943c7cac ocamlx(Exninfo)
= 2c97260dd31fb8e11ad0c5e45f95bc6c ocamlx(Loc)
= 3d469b81e472024e47962f901f721f6e ocamlx(Option)
= 3a80561a26a756e8146e053a12c94633 ocamlx(Pp)
= ca0785ba4773d7a20bec05f56d85d785 ocamlx(Richpp)
= c7a8241d829f4694f76b87ec2cfbb016 ocamlx(Serialize)
= cfb111336607f6ed1098217f92ab3c85 ocamlx(Stateid)
= 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib)
= ec734da0dbd1f4871a6e468dd99f1edb ocamlx(Stdlib__Buffer)
= 252dee0ca8b365189f2ed175e3779e3c ocamlx(Stdlib__Format)
= ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__Hashtbl)
= b92bcde89c2e887e267fc7f0ad189ee9 ocamlx(Stdlib__Lexing)
= 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__List)
= b5325f43d38afc618da7b0fb873c7faa ocamlx(Stdlib__Printf)
= adbb9467e55324452b66f5e80904fd00 ocamlx(Stdlib__Stack)
= 650b799d3032d2e3c133eae0b21c0f95 ocamlx(Stdlib__String)
= 19b4b81a3b0bdb1618506233bcac9410 ocamlx(Util)
= 54dbf31d7ee83bcbb441111d5e9f902e ocamlx(Xml_lexer)
= 00e32ef02424f8d913d4f86a26aa9287 ocamlx(Xml_printer)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 8.16.0-1.fc37 coq-coqide-server
= 8.16.0-1.fc37 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)
= fa67526e15a79688afce54a71ab7eb17 ocamlx(Document)
= b69ed894d18bc13fb840c79e4ebc3d86 ocamlx(Interface)
= ca0785ba4773d7a20bec05f56d85d785 ocamlx(Richpp)
= c7a8241d829f4694f76b87ec2cfbb016 ocamlx(Serialize)
= 54dbf31d7ee83bcbb441111d5e9f902e ocamlx(Xml_lexer)
= 3360622762c771cf95e5224884d888ea ocamlx(Xml_parser)
= 00e32ef02424f8d913d4f86a26aa9287 ocamlx(Xml_printer)
= 2e5fed9fcea446408e667bbb88707db5 ocamlx(Xmlprotocol)


نحوه نصب


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

    dnf install coq-coqide-server-8.16.0-1.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/01/59b7c706936cc0d7d7cc55e9d4558343328a88
/usr/lib/.build-id/91/98e6e970644c27c97cb9ea6acc9103f783bb5b
/usr/lib/.build-id/91/98e6e970644c27c97cb9ea6acc9103f783bb5b.1
/usr/lib/.build-id/bc/5258bcb424a35a84edc8c1ac07c2bf47351b46
/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
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.mli
... and 18 more


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

تاریخ آخرین تغییر جزئیات
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

2021-11-30

Version 8.14.1

2021-10-21

Version 8.14.0
Add -core subpackage

2021-10-05

OCaml 4.13.1 build

2021-10-04

Try to build on s390x with OCaml 4.13