معرفی شرکت ها

coq-coqide-server-8.17.1-5.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

The coqidetop language server
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته coq-coqide-server
نام فایل بسته coq-coqide-server-8.17.1-5.fc39.x86_64.rpm
نسخه بسته 8.17.1
انتشار بسته 5.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu 27 Jul 2023 08
هاست سازنده buildvm-x86-17.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 28M
حجم نصب 90.854M
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.17.1-5.fc39.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-server-8.18.0-1.fc39.aarch64.rpm 8.18.0 aarch64 Fedora Everything
coq-coqide-server-8.18.0-1.fc39.x86_64.rpm 8.18.0 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.17.1-5.fc39.aarch64.rpm 8.17.1 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.17.1-5.fc39.x86_64.rpm 8.17.1 x86_64 Fedora Everything
coq-coqide-server-debuginfo-8.18.0-1.fc39.aarch64.rpm 8.18.0 aarch64 Fedora Everything
coq-coqide-server-debuginfo-8.18.0-1.fc39.x86_64.rpm 8.18.0 x86_64 Fedora Everything


نیازمندی

مقدار نام
- /usr/bin/ocamlrun
= 8.17.1-5.fc39 coq-core(x86-64)
>= 2.37.9000-18 glibc
- ld-linux-x86-64.so.2()(64bit)
- ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
- 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.25)(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.38)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.6)(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)
- libm.so.6(GLIBC_2.38)(64bit)
= 6d58569e3639e38decf1a0dbacbf0726 ocaml(CArray)
= f40080596f5cf76bf47880b35de4d520 ocaml(CList)
= 57c0f678ba0c1d7497fe55560bcebe5e ocaml(CMap)
= 7d7be9cc23fb38e10753233bf859750e ocaml(CSet)
= cbe0b0a079f2ef2dcd13f42ae80840dd ocaml(CSig)
= a4fefb8c8cd7dd8cf22cbb31ad12719e ocaml(CString)
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 9899de300aafbea37490d6da3d93b55d ocaml(CamlinternalOO)
= 38ad6517d5220e43e479a1d0d18b8b8c ocaml(Exninfo)
= 369f881d87535e3db952615840ea3253 ocaml(Feedback)
= 16cd719166c8c5010b0670dadb52fe96 ocaml(Hashcons)
= 054fe5127bf9aac57339f346c0d1a1ef ocaml(Hashset)
= c6f6591d831603ba711e1bed78b04b73 ocaml(Interface)
= 66403678cb7815a79c0e1a1c82447bd2 ocaml(Loc)
= a80cf95cebaf33d117f334bdb79a1f57 ocaml(Option)
= a06106912b4260216a95b51835f39c2e ocaml(Pp)
= 1b54ffe866048b283dcf39c247b9f856 ocaml(Predicate)
= b62b02f11d0fcf196154eecf21f1fac9 ocaml(Richpp)
= e6d8c007d0ebe1c9baa3e96a6ceabc86 ocaml(Serialize)
= 54380a42612c023be92895eb75e54315 ocaml(Stateid)
= 85f85ddb47edc0c7579657eee740302d ocaml(Stdlib)
= 9bcf1a06bdcfbb976f898e818e15611a ocaml(Stdlib__Array)
= 12b944b4b2913751cd65bdc638975d4d ocaml(Stdlib__Buffer)
= 0d152be3cd9163970a657d842fca8ecf ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808 ocaml(Stdlib__Either)
= e7385010d0d6a0bbd4191bc7546d458a ocaml(Stdlib__Format)
= bafdecabd3fce4f5ccc09a1a5587dab4 ocaml(Stdlib__Hashtbl)
= 1db604c2106f996ea47a572773a5ff7f ocaml(Stdlib__Int32)
= be62854f0fbcd8531fe531cd00e34821 ocaml(Stdlib__Lexing)
= feb7c568830f9f239501efb83f4725e4 ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea ocaml(Stdlib__Map)
= 85655eceec5bcd6c7c4ef5dd6758b19d ocaml(Stdlib__Obj)
= 8debea255efc834da5c1bc2e73f09214 ocaml(Stdlib__Printf)
= cc3f899885b746f777815dc93be7ede2 ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21 ocaml(Stdlib__Set)
= 2c058a31c4619e2e1504072ca87f6bee ocaml(Stdlib__Stack)
= facad7e0dada5941148738b8188d844f ocaml(Stdlib__String)
= 9ea864085095970c73b7b17c26c37317 ocaml(Stdlib__Uchar)
= 4e2d66cd8854d72d19ca403ade93245b ocaml(Util)
= af4d607b4dbe09d931cd3a2b78a84fe3 ocaml(Xml_datatype)
= ae086551e8d464cea528042ec64dcda8 ocaml(Xml_lexer)
= da001b9a8389bb85c965453b972a030b ocaml(Xml_printer)
= 316832614721a381a692bb18696ed5f7 ocamlx(CArray)
= 4610b318d516eea0bb1060c41a238603 ocamlx(CList)
= 8b7c482132b2df142660e5c47761a86b ocamlx(CString)
= 58f88a5a5c64196bd9b440558fffce16 ocamlx(CamlinternalFormat)
= 837bc42c277f1552b35648daabf1155b ocamlx(CamlinternalOO)
= 61051fa648ae5882c26bb2d07cccbe13 ocamlx(Exninfo)
= c23a37ec4f347e017d6de59842b60027 ocamlx(Loc)
= f833280a6b196f2c932a082fc52f0e11 ocamlx(Option)
= 512b0be344cb419a302b1b9ee4271094 ocamlx(Pp)
= 8f5947a141ab2f0a563ff65034cda1fd ocamlx(Richpp)
= 3f7230570afeb0869d6f25e77ddc708d ocamlx(Serialize)
= 922f2a7ee6e38384c67f2e5640f215b6 ocamlx(Stateid)
= c6f226e44d674edd1d531948ff863828 ocamlx(Stdlib)
= 888f09bbed5faa92247fb11d913bbe54 ocamlx(Stdlib__Array)
= b408aede49ea6c933a86ec2dd65b7cda ocamlx(Stdlib__Bigarray)
= 3bbe0fd85e51b1403af1226c5d608789 ocamlx(Stdlib__Buffer)
= cb1095d933ce955029ed699727baead0 ocamlx(Stdlib__Bytes)
= d7f8796322f2cd99efcf341f8e42acf4 ocamlx(Stdlib__Domain)
= c94bb08665553c56dece8353dbff3b32 ocamlx(Stdlib__Format)
= acdc6437bcb9e7a81c6ed8660e82b471 ocamlx(Stdlib__Hashtbl)
= 76289d92733d00a1d4c106dfb93c8ac7 ocamlx(Stdlib__Lexing)
= b78ab95aebcef67de9b99ec053edb534 ocamlx(Stdlib__List)
= 7b1e4df07736a72638c021a5a9ffbccd ocamlx(Stdlib__Map)
= 662e9ca31ecdf5f11c9788ed827feb11 ocamlx(Stdlib__Printf)
= 968e2f724fd81b382edfc126f84c80d0 ocamlx(Stdlib__Queue)
= 2617b12d0fefbf237d757668e0688155 ocamlx(Stdlib__Random)
= 018afd60df09186eaef4d0d459f62321 ocamlx(Stdlib__Stack)
= ff814de8355985ea0e450e0986a59446 ocamlx(Stdlib__String)
= ff77666486d62bb9e2b9c32e7e270253 ocamlx(Util)
= 537cac598e4cdfb18debcfba36be5a06 ocamlx(Xml_lexer)
= e551abe6647b53c5ba0ede74c3ac4228 ocamlx(Xml_printer)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 8.17.1-5.fc39 coq-coqide-server
= 8.17.1-5.fc39 coq-coqide-server(x86-64)
= a1376dc576bfceea362f408ea57df2d0 ocaml(Document)
= c6f6591d831603ba711e1bed78b04b73 ocaml(Interface)
= b62b02f11d0fcf196154eecf21f1fac9 ocaml(Richpp)
= e6d8c007d0ebe1c9baa3e96a6ceabc86 ocaml(Serialize)
= ae086551e8d464cea528042ec64dcda8 ocaml(Xml_lexer)
= d5277d118668a83a3f784f3e0e60083b ocaml(Xml_parser)
= da001b9a8389bb85c965453b972a030b ocaml(Xml_printer)
= 4beaec8dddaa43696b3069b20f0b1759 ocaml(Xmlprotocol)
= 04ca2ad6eb40d79ab01fc97434eeb41d ocamlx(Document)
= 6d457bd028ecd84a923eeedd147c93ea ocamlx(Interface)
= 8f5947a141ab2f0a563ff65034cda1fd ocamlx(Richpp)
= 3f7230570afeb0869d6f25e77ddc708d ocamlx(Serialize)
= 537cac598e4cdfb18debcfba36be5a06 ocamlx(Xml_lexer)
= 87249b6173a418cb3b97a6645962a95c ocamlx(Xml_parser)
= e551abe6647b53c5ba0ede74c3ac4228 ocamlx(Xml_printer)
= 9f37640afaeff3bde52801529df39539 ocamlx(Xmlprotocol)


نحوه نصب


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

    dnf install coq-coqide-server-8.17.1-5.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/638d02bc8981de0548e1fab632d2f57b265f3d
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/5c93a3b4331260e8ca139af182bd70390a1500
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/025ad1cde6c40f05ba22b56192408bdfd9e280
/usr/lib/.build-id/b6/025ad1cde6c40f05ba22b56192408bdfd9e280.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-07-27

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-18

Validate appdata with appstream-util

2023-07-12

OCaml 5.0 rebuild for Fedora 39
Only build coq and friends on architectures with the native compiler.

2023-07-10

Version 8.17.1
Build in release mode
Disable the native compiler, which is incompatible with OCaml 5.0

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