معرفی شرکت ها

coq-coqide-server-8.18.0-1.fc39.aarch64.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 aarch64
نام بسته coq-coqide-server
نام فایل بسته coq-coqide-server-8.18.0-1.fc39.aarch64.rpm
نسخه بسته 8.18.0
انتشار بسته 1.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 03 Jan 2024 03
هاست سازنده buildhw-a64-23.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://coq.inria.fr/
مجوز LGPL-2.1-only AND MIT AND BSD-3-Clause
حجم دانلود 30M
حجم نصب 98.841M
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.17.1-5.fc39.x86_64.rpm 8.17.1 x86_64 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.18.0-1.fc39 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.25)(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)
- libc.so.6(GLIBC_2.38)(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)
- libm.so.6(GLIBC_2.38)(64bit)
= 6d58569e3639e38decf1a0dbacbf0726 ocaml(CArray)
= a7a0c48b94e35b57bfb2bc2689d58cb7 ocaml(CList)
= 56aa025417b342f792402ad3a956066e ocaml(CMap)
= 7d7be9cc23fb38e10753233bf859750e ocaml(CSet)
= cbe0b0a079f2ef2dcd13f42ae80840dd ocaml(CSig)
= ba1439e877c8deb15a04b63ae44497cb ocaml(CString)
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 9899de300aafbea37490d6da3d93b55d ocaml(CamlinternalOO)
= 38ad6517d5220e43e479a1d0d18b8b8c ocaml(Exninfo)
= 369f881d87535e3db952615840ea3253 ocaml(Feedback)
= 16cd719166c8c5010b0670dadb52fe96 ocaml(Hashcons)
= 054fe5127bf9aac57339f346c0d1a1ef ocaml(Hashset)
= 03a481a8812607515975c92932f70244 ocaml(Interface)
= 66403678cb7815a79c0e1a1c82447bd2 ocaml(Loc)
= 0ed8cf70257474be112f25e670767659 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)
= 739c05c768541246b721db6b4ded59cd ocaml(Util)
= af4d607b4dbe09d931cd3a2b78a84fe3 ocaml(Xml_datatype)
= ae086551e8d464cea528042ec64dcda8 ocaml(Xml_lexer)
= da001b9a8389bb85c965453b972a030b ocaml(Xml_printer)
= c283a0f77b8df3491d4cbae050b76801 ocamlx(CArray)
= 8dbde6359f78faf766a8eef408657daa ocamlx(CList)
= d41891d060af3446d0e198ca71795b32 ocamlx(CString)
= 58f88a5a5c64196bd9b440558fffce16 ocamlx(CamlinternalFormat)
= 837bc42c277f1552b35648daabf1155b ocamlx(CamlinternalOO)
= eb4df81e306597953871daed2ed2174e ocamlx(Exninfo)
= df5eb2d73fefed70260934356ff58707 ocamlx(Option)
= 419fdf7aff0a53196f149e576ae4bb8c ocamlx(Pp)
= 2fa44964687e9bc491ece2084173c927 ocamlx(Richpp)
= aef999baeb0a8aa35194ab9d6bfa7355 ocamlx(Serialize)
= 8a6cfa1023aa999633213c8ccbc3b77d 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)
= 44b5822c32cc6176e4a217380ca5890d ocamlx(Util)
= 537cac598e4cdfb18debcfba36be5a06 ocamlx(Xml_lexer)
= e551abe6647b53c5ba0ede74c3ac4228 ocamlx(Xml_printer)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 8.18.0-1.fc39 coq-coqide-server
= 8.18.0-1.fc39 coq-coqide-server(aarch-64)
= a1376dc576bfceea362f408ea57df2d0 ocaml(Document)
= 03a481a8812607515975c92932f70244 ocaml(Interface)
= b62b02f11d0fcf196154eecf21f1fac9 ocaml(Richpp)
= e6d8c007d0ebe1c9baa3e96a6ceabc86 ocaml(Serialize)
= ae086551e8d464cea528042ec64dcda8 ocaml(Xml_lexer)
= d5277d118668a83a3f784f3e0e60083b ocaml(Xml_parser)
= da001b9a8389bb85c965453b972a030b ocaml(Xml_printer)
= 4beaec8dddaa43696b3069b20f0b1759 ocaml(Xmlprotocol)
= 66e201634dffc74b9661dbaa4b27c5fb ocamlx(Document)
= 2fa44964687e9bc491ece2084173c927 ocamlx(Richpp)
= aef999baeb0a8aa35194ab9d6bfa7355 ocamlx(Serialize)
= 537cac598e4cdfb18debcfba36be5a06 ocamlx(Xml_lexer)
= 87249b6173a418cb3b97a6645962a95c ocamlx(Xml_parser)
= e551abe6647b53c5ba0ede74c3ac4228 ocamlx(Xml_printer)
= 305023325f55f6a2ffcdac78201244fd ocamlx(Xmlprotocol)


نحوه نصب


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

    dnf install coq-coqide-server-8.18.0-1.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/27
/usr/lib/.build-id/27/525b52dd63de59d44d675aaff3bd65e6015018
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/6aafdf04b7e14c740b28e3824feacb6e9ec263
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/31b5b0a5965b257811a398dcb24a3fe5c0a76c
/usr/lib/.build-id/dd/31b5b0a5965b257811a398dcb24a3fe5c0a76c.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.cmti
/usr/lib64/ocaml/coqide-server/protocol/interface.mli
/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
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmt
... and 13 more


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

تاریخ آخرین تغییر جزئیات
2024-01-02

Version 8.18.0

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