Name: coq-coqide-server	Distribution: Fedora Project
Version: 8.17.1	Vendor: Fedora Project
Release: 1.fc38	Build date: Wed Oct 18 17:21:15 2023
Group: Unspecified	Build host: buildvm-x86-11.iad2.fedoraproject.org
Size: 65241826	Source RPM: coq-8.17.1-1.fc38.src.rpm
Packager: Fedora Project
Url: https://coq.inria.fr/
Summary: The coqidetop language server

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.

Provides

Requires

/usr/bin/ocamlrun
coq-core(x86-64) = 8.17.1-1.fc38
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)
ocaml(CArray) = 3bf67d1381824155797389de8a32d728
ocaml(CList) = 963264b024cbb32e5211e7abb601d1fc
ocaml(CMap) = b5f62fbd6f9416f40b63b0dac2bac8a8
ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
ocaml(CString) = 185a019f870874a8ff87e047f1d56006
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalOO) = aea913efb75d4b8c0600eeba0222f7d8
ocaml(Exninfo) = 1108fbdf2827b6d2494e3e4bca2b55f0
ocaml(Feedback) = b430e30282f28df06f85bc6c5a2d4f3e
ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
ocaml(Interface) = fa5e26c2b2e604a5257572445b61e870
ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
ocaml(Option) = 7b9ac55e8491af63e4054f2b26a988dd
ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
ocaml(Richpp) = 1bcebc1f984a3fc84cb0aea868ac1863
ocaml(Serialize) = 0675dc175d584c8b04f8d8ba2ee291e1
ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Util) = 82442e4e897c61e9ffd5234974e104ef
ocaml(Xml_datatype) = e419aae791e14a9e40ee634429531000
ocaml(Xml_lexer) = 72d73bb411d5a1afbf240bf7446e7411
ocaml(Xml_printer) = d6f68614d3b68150f821cdea833e4a11
ocamlx(CList) = ae24fb792094005682af4d83cd3e3a5e
ocamlx(CString) = bb0679407165dab9dc28c93b6a4bfe5a
ocamlx(CamlinternalOO) = 1bdd8a1f15e1c6ed06c7e29bea5bb5c3
ocamlx(Exninfo) = cce74d96bc6d031a65a5e0de91168728
ocamlx(Loc) = da5c60aea5eb2601f809baa02357b1de
ocamlx(Option) = 027e5e1bfabd879c0bafd13804c95ae3
ocamlx(Pp) = f856573c5dbd6b3be2ff2435e2e9ad5a
ocamlx(Richpp) = eff308a409ff3bec21e79d971dbbca70
ocamlx(Serialize) = 67d25143ce259cea7a5d54bc27f842f3
ocamlx(Stateid) = 2b7be9278707aca66876a9472e505937
ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996
ocamlx(Stdlib__Buffer) = 673e1a9feee4c24aeb62fe0f3e3ec4ad
ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd
ocamlx(Stdlib__Hashtbl) = c60c5e9b84ec15b69584c299944d0abb
ocamlx(Stdlib__Lexing) = 4ba20253768aee73219c565dee7243bd
ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7
ocamlx(Stdlib__Printf) = 5637860688f82d7f837407cfaf0a6fae
ocamlx(Stdlib__Stack) = 6e4c13fcfc9d23fccc45c9e0ea742960
ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df
ocamlx(Util) = 37df21a9868bb8ca8afde41e83efc1c5
ocamlx(Xml_lexer) = 64aa0790265175767342babed85f08d2
ocamlx(Xml_printer) = 53eb4a0d9714f19cb12a7c9a4f04e593
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PartialHardlinkSets) <= 4.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)

License

LGPL-2.1-only AND MIT AND BSD-3-Clause

Changelog

* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 8.17.1-1
  - Version 8.17.1
  - Build in release mode
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 8.17.0-1
  - Version 8.17.0
  - Drop upstreamed patch for Sphinx 5 support
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 8.16.1-3
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 8.16.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 8.16.1-1
  - Version 8.16.1
* Thu Oct 06 2022 Jerry James <loganjerry@gmail.com> - 8.16.0-2
  - Remove the manual, which has a non-free license (bz 2132567)
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 8.16.0-1
  - Version 8.16.0
  - Drop upstreamed patch for Sphinx 4.5 support
* Mon Aug 15 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-3
  - Convert License tags to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.15.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 19 2022 Karolina Surma <ksurma@redhat.com> - 8.15.2-2
  - Enable documentation build with Sphinx 5+
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-2
  - Remove i686 support
  - Use new OCaml macros
* Mon Jun 20 2022 Jerry James <loganjerry@gmail.com> - 8.15.2-2
  - Rebuild for antlr4-project 4.10.1
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 8.15.2-1
  - Upgrade to 8.15.2
  - OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 8.15.1-1
  - Version 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 8.15.0-1
  - Version 8.15.0
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 8.14.1-4
  - OCaml 4.13.1 rebuild to remove package notes
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 8.14.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-2
  - Rebuild for ocaml-lablgtk3 3.1.2
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 8.14.1-1
  - Version 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 8.14.0-1
  - Version 8.14.0
  - Add -core subpackage

Files

/usr/bin/coqidetop
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/10
/usr/lib/.build-id/10/0f3c3a04c9fac14da17c07f7cfaa1877fb6d85
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/78512376041d09032cdff01b29ea658e053687
/usr/lib/.build-id/8f/7b38393cbea314a859ab22bd293a5f2f945c37
/usr/lib/.build-id/8f/7b38393cbea314a859ab22bd293a5f2f945c37.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
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.mli
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmt
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmti
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmx
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri May 3 00:35:07 2024

coq-coqide-server-8.17.1-1.fc38 RPM for x86_64

From Fedora 38 updates for x86_64 / Packages / c

Provides

Requires

License

Changelog

Files